Search results for "Binary decision diagram"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Don E. Ross, Kenneth M. Butler, M. Ray Mercer	Exact ordered binary decision diagram size when representing classes of symmetric functions.	J. Electronic Testing	1991	DBLP DOI BibTeX RDF	Boolean function representation, Binary decision diagram, symbolic simulation, symmetric functions, ordered binary decision diagram
3	Mehdi Mohammadi, Hossein Pazhoumand-dar, Mohsen Soryani, Hossein Moeinzadeh	HS-ROBDD: an efficient variable order binary decision diagram.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	binary decision diagram (bdd)
3	Vinay Saripalli, Vijaykrishnan Narayanan, Suman Datta	Ultra Low Energy Binary Decision Diagram Circuits Using Few Electron Transistors.	NanoNet	2009	DBLP DOI BibTeX RDF	low-energy circuits, single electron transistors, binary decision diagram logic circuits
3	Wassim Ayadi, Khedija Arour	A Binary Decision Diagram to discover low threshold support frequent itemsets.	DEXA Workshops	2007	DBLP DOI BibTeX RDF	data mining, association rules, binary decision diagram, frequent item sets
2	Toru Akishita, Masanobu Katagi, Yoshikazu Miyato, Asami Mizuno, Kyoji Shibutani	A Practical DPA Countermeasure with BDD Architecture.	CARDIS	2008	DBLP DOI BibTeX RDF	dual-rail pre-charge logic, DPA, Binary Decision Diagram, countermeasure
2	Kyriakos Christou, Maria K. Michael, Spyros Tragoudas	On the Use of ZBDDs for Implicit and Compact Critical Path Delay Fault Test Generation.	J. Electronic Testing	2008	DBLP DOI BibTeX RDF	Zero-suppressed binary decision diagram, Irredundant sum-of-products, Critical path delay faults, Compact test generation, Delay testing, Path delay faults
2	Tianlong Gu, Huadong Liu	The symbolic OBDD scheme for generating mechanical assembly sequences.	Formal Methods in System Design	2008	DBLP DOI BibTeX RDF	Assemble sequence planning, Assembly liaison graph, Assembly sequences generation, Ordered binary decision diagram
2	Kevin Oo Tinmaung, David Howland, Russell Tessier	Power-aware FPGA logic synthesis using binary decision diagrams.	FPGA	2007	DBLP DOI BibTeX RDF	FPGA, binary decision diagram, dynamic power
2	Guoyong Shi, Weiwei Chen, C.-J. Richard Shi	A Graph Reduction Approach to Symbolic Circuit Analysis.	ASP-DAC	2007	DBLP DOI BibTeX RDF	symbolic analog circuit simulator, symbolic circuit analysis, recursive sign determination algorithm, binary decision diagram, graph reduction
2	David Walter, Scott Little, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda	Symbolic Model Checking of Analog/Mixed-Signal Circuits.	ASP-DAC	2007	DBLP DOI BibTeX RDF	analog/mixed-signal circuits, Boolean based symbolic model checking algorithm, VHDL-AMS description, labeled hybrid Petri nets, Boolean signals, temporal logic formulas, timed CTL, Boolean variables, Boolean function, binary decision diagram, hardware description language
2	Wassim Ayadi, Khedija Arour	A Novel Parallel Boolean Approach for Discovering Frequent Itemsets.	ICDM Workshops	2007	DBLP DOI BibTeX RDF	Data mining, Association rules, Binary decision diagram, Frequent itemsets, Parallel data mining
2	Rasa Remenyte, John D. Andrews	A Simple Component Connection Approach for Fault Tree Conversion to Binary Decision Diagram.	ARES	2006	DBLP DOI BibTeX RDF
2	Gopal Paul, Ajit Pal, Bhargab B. Bhattacharya	On finding the minimum test set of a BDD-based circuit.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	binary decision diagram (BDD), multiplexors, network flow, stuck-at faults, VLSI testing
2	Gilles Audemard, Lakhdar Sais	A Symbolic Search Based Approach for Quantified Boolean Formulas.	SAT	2005	DBLP DOI BibTeX RDF	Satisfiability, Binary decision diagram, Quantified boolean formula
2	Mohammad GhasemZadeh, Volker Klotz, Christoph Meinel	Embedding Memoization to the Semantic Tree Search for Deciding QBFs.	Australian Conference on Artificial Intelligence	2004	DBLP DOI BibTeX RDF	Zero-Suppressed Binary Decision Diagram (ZDD), Quantified Boolean Formula (QBF), QSAT, Satisfiability, DPLL
2	Xinyu Zang, Dazhi Wang, Hairong Sun, Kishor S. Trivedi	A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Binary Decision Diagram (BDD), multistate component, multistate fault tree, multistate system, blocking probability
2	Chung-Hung Lai, Tien-Fu Chen	Compressing inverted files in scalable information systems by binary decision diagram encoding .	SC	2001	DBLP DOI BibTeX RDF	scalable information systems, information retrieval, BDD, inverted file
2	Hafiz Md. Hasan Babu, Tsutomu Sasao	Representations of Multiple-Output Switching Functions Using Multiple-Valued Pseudo-Kronecker Decision Diagrams. (PDF / PS)	ISMVL	2000	DBLP DOI BibTeX RDF	Binary decision diagram (BDD), multiple-valued decision diagram (MDD), multi-level logic synthesis, look-up table type FPGA design, multiple-valued logic, multiple-output function
2	Heraldo Maciel França Madeira, Junior Barrera	Incremental Evaluation of BDD-Represented Set Operators.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	translation invariant operators, locally defined set operators, 2D discrete W-operators, 3D discrete W-operators, reduced ordered binary decision diagram, equivalence proof, mathematical morphology, mathematical morphology, formal language, vocabulary, morphological operators
2	Julien Dunoyer, Nizar Abdallah, Pirouz Bazargan-Sabet	A symbolic simulation approach in resolving signals' correlation.	Annual Simulation Symposium	1996	DBLP DOI BibTeX RDF	signal resolution, signal correlation resolution, symbolic simulation approach, evaluation package, signal transition density, specification levels, first order clue, independent inputs, binary decision diagram concept, algorithms, VLSI, probability, logic CAD, digital simulation, design process, decision theory, circuit analysis computing, integrated circuit design, circuit CAD, digital circuits, subroutines, symbol manipulation, power dissipation, correlation methods, digital integrated circuits, signal probability, probabilistic approach, synthesis tools
2	Naotake Kamiura, Yutaka Hata, Kazuharu Yamato	On Design of Fail-Safe Cellular Arrays.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	fail-safe logic system, Binary Decision Diagram and switch cell, cellular array
2	Rajeev K. Ranjan, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Binary decision diagrams on network of workstation. (PDF / PS)	ICCD	1996	DBLP DOI BibTeX RDF	memory resources, breadth-first technique, verification, Boolean functions, synthesis, binary decision diagram, network of workstations
2	Lars Arge	The I/O - Complexity of Ordered Binary - Decision Diagram Manipulation.	ISAAC	1995	DBLP DOI BibTeX RDF
2	Seiichiro Tani, Hiroshi Imai	A Reordering Operation for an Ordered Binary Decision Diagram and an Extended Framework for Combinatorics of Graphs.	ISAAC	1994	DBLP DOI BibTeX RDF
2	Srinivas Devadas	Comparing two-level and ordered binary decision diagram representations of logic functions.	IEEE Trans. on CAD of Integrated Circuits and Systems	1993	DBLP DOI BibTeX RDF
2	Suman Purwar	An Efficient Method of Computing Generalized Reed-Muller Expansions from Binary Decision Diagram.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	generalized Reed-Muller expansions, minterm values, Boolean function, Boolean functions, variables, binary decision diagram, minimisation of switching nets
2	Nagisa Ishiura, Yutaka Deguchi, Shuzo Yajima	Coded Time-Symbolic Simulation Using Shared Binary Decision Diagram.	DAC	1990	DBLP DOI BibTeX RDF
1	Debajit Sensarma, Subhashis Banerjee, Krishnendu Basuli, Saptarshi Naskar, Samar Sen-Sarma	On an optimization technique using Binary Decision Diagram	CoRR	2012	DBLP BibTeX RDF
1	Yong Lai, Dayou Liu, Sheng-sheng Wang	Reduced Ordered Binary Decision Diagram with Implied Literals: A New knowledge Compilation Approach	CoRR	2011	DBLP BibTeX RDF
1	Hiroshi Aoki, Shigeru Yamashita, Shin-ichi Minato	An efficient algorithm for constructing a Sequence Binary Decision Diagram representing a set of reversed sequences.	GrC	2011	DBLP DOI BibTeX RDF
1	Abdesslem Layeb, Djamel-Eddine Saïdouni	A New Quantum Evolutionary Algorithm with Sifting Strategy for Binary Decision Diagram Ordering Problem.	IJCINI	2010	DBLP BibTeX RDF
1	Elsa Loekito, James Bailey, Jian Pei	A binary decision diagram based approach for mining frequent subsequences.	Knowl. Inf. Syst.	2010	DBLP DOI BibTeX RDF
1	Takuro Kutsuna	A Binary Decision Diagram-Based One-Class Classifier.	ICDM	2010	DBLP DOI BibTeX RDF
1	Johannes Ulrich Herrmann	Improving Reliability Calculation with Augmented Binary Decision Diagrams.	AINA	2010	DBLP DOI BibTeX RDF	K-terminal reliability, all-terminal reliability, binary decision diagram, network reliability, space efficient
1	Ondrej Lhoták, Stephen Curial, José Nelson Amaral	An Optimal Encoding to Represent a Single Set in an ROBDD.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	set representation, Binary decision diagram, binary encoding
1	Stergios Stergiou, Jawahar Jain	Dynamically resizable binary decision diagrams.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	binary decision diagrams, compact
1	Hossein Moeinzadeh, Mehdi Mohammadi, Hossein Pazhoumand-dar, Arman Mehrbakhsh, Navid Kheibar, Nasser Mozayani	Evolutionary-Reduced Ordered Binary Decision Diagram.	Asia International Conference on Modelling and Simulation	2009	DBLP DOI BibTeX RDF
1	Jie Hou, Fengying Li, Huijiao Wang	An Ordered Binary Decision Diagram Model for Production Knowledge Representation and its Reasoning.	WGEC	2009	DBLP DOI BibTeX RDF
1	Stephan Wilhelm, Björn Wachter	Symbolic state traversal for WCET analysis.	EMSOFT	2009	DBLP DOI BibTeX RDF	abstract interpretation, binary decision diagram, worst-case execution time, hard real time, processor models
1	Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic	Model checking sequential software programs via mixed symbolic analysis.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	composite symbolic formula, Model checking, binary decision diagram, reachability analysis, presburger arithmetic, image computation
1	Robert Wille, Rolf Drechsler	BDD-based synthesis of reversible logic for large functions.	DAC	2009	DBLP DOI BibTeX RDF	synthesis, decision diagrams, reversible logic, quantum logic
1	Dana Ron, Gilad Tsur	Testing Computability by Width Two OBDDs.	APPROX-RANDOM	2009	DBLP DOI BibTeX RDF
1	Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle	An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA.	SOFSEM	2009	DBLP DOI BibTeX RDF	MTBDD, elimination of immediate transitions, stochastic process algebra
1	Daniel Král	Polynomial-Size Binary Decision Diagrams for the Exactly Half-d-Hyperclique Problem Reading Each Input Bit Twice.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Free binary decision diagrams, Binary decision diagrams
1	Felipe Machado, Yago Torroja, Teresa Riesgo	A Binary Decision Diagram Structure for Probabilistic Switching Activity Estimation.	J. Low Power Electronics	2008	DBLP DOI BibTeX RDF
1	Akhilesh Shrestha, Liudong Xing	A Logarithmic Binary Decision Diagram-Based Method for Multistate System Analysis.	IEEE Transactions on Reliability	2008	DBLP DOI BibTeX RDF
1	Liudong Xing	An Efficient Binary-Decision-Diagram-Based Approach for Network Reliability and Sensitivity Analysis.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2008	DBLP DOI BibTeX RDF
1	Watis Leelapatra, Kanchana Kanchanasut, Chidchanok Lursinsap	Displacement BDD and geometric transformations of binary decision diagram encoded images.	Pattern Recognition Letters	2008	DBLP DOI BibTeX RDF
1	Nathan Segerlind	On the Relative Efficiency of Resolution-Like Proofs and Ordered Binary Decision Diagram Proofs.	IEEE Conference on Computational Complexity	2008	DBLP DOI BibTeX RDF	lower bounds, resolution, ordered binary decision diagrams, propositional proof complexity
1	Panuchart Bunyakiati, Anthony Finkelstein, James Skene, Clovis Chapman	Using JULE to generate a compliance test suite for the UML standard.	ICSE	2008	DBLP DOI BibTeX RDF	ocl, test generation, metamodel, certification, binary decision diagram, uml
1	Markus Behle	On threshold BDDs and the optimal variable ordering problem.	J. Comb. Optim.	2008	DBLP DOI BibTeX RDF	Threshold BDD, 0/1 integer programming, Optimal variable ordering, Variable ordering spectrum, Binary decision diagram, Knapsack
1	Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane	Reachability analysis using multiway decision graphs in the HOL theorem prover.	SAC	2008	DBLP DOI BibTeX RDF	reachability analysis, HOL, multiway decision graphs
1	Petr Mikusek, Vaclav Dvorak	On Lookup Table Cascade-Based Realizations of Arbiters.	DSD	2008	DBLP DOI BibTeX RDF
1	Azam Beg, P. W. Chandana Prasad, Walid Ibrahim, Emad Abu Shama	Utilizing synthesis to verify Boolean function models.	ISCAS	2008	DBLP DOI BibTeX RDF
1	Shinobu Nagayama, Tsutomu Sasao	Representations of Two-Variable Elementary Functions Using EVMDDs and their Applications to Function Generators.	ISMVL	2008	DBLP DOI BibTeX RDF	EVMDD, EVBDD, two-variable elementary functions, l-restricted Mp-monotone increasing functions, function generators
1	Christo Angelov, Xu Ke, Yu Guo, Krzysztof Sierszecki	Reconfigurable State Machine Components for Embedded Applications.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
1	Lei Cheng, Deming Chen, Martin D. F. Wong	DDBDD: Delay-Driven BDD Synthesis for FPGAs.	IEEE Trans. on CAD of Integrated Circuits and Systems	2008	DBLP DOI BibTeX RDF
1	Yung-Chih Chen, Chun-Yao Wang	An Implicit Approach to Minimizing Range-Equivalent Circuits.	IEEE Trans. on CAD of Integrated Circuits and Systems	2008	DBLP DOI BibTeX RDF
1	Albert F. Myers, Antoine Rauzy	Efficient Reliability Assessment of Redundant Systems Subject to Imperfect Fault Coverage Using Binary Decision Diagrams.	IEEE Transactions on Reliability	2008	DBLP DOI BibTeX RDF
1	Kais Klai, Denis Poitrenaud	MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs.	Petri Nets	2008	DBLP DOI BibTeX RDF
1	Wei Zhang 0004, Hua Yan, Haiyan Zhao, Zhi Jin	A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization.	ICSR	2008	DBLP DOI BibTeX RDF	Clonable features, Verification, Constraints, Customization, Feature models
1	Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler	Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.	International Semantic Web Conference	2008	DBLP DOI BibTeX RDF
1	Nathan Segerlind	On the relative efficiency of resolution-like proofs and ordered binary decision diagram proofs.	Electronic Colloquium on Computational Complexity (ECCC)	2007	DBLP BibTeX RDF
1	Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta	Disjunctive image computation for software verification.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	Model checking, formal verification, binary decision diagram, reachability analysis, image computation
1	Daniel J. Quinlan, Richard W. Vuduc, Ghassan Misherghi	Techniques for specifying bug patterns.	PADTAD	2007	DBLP DOI BibTeX RDF	static analysis, message passing interface, datalog, bug patterns
1	Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler	Numerical Function Generators Using Edge-Valued Binary Decision Diagrams.	ASP-DAC	2007	DBLP DOI BibTeX RDF	multiterminal BDD, numerical function generators, edge-valued binary decision diagrams, segment index encoder
1	Shinobu Nagayama, Tsutomu Sasao	Representations of Elementary Functions Using Edge-Valued MDDs.	ISMVL	2007	DBLP DOI BibTeX RDF
1	Dazhi Wang, Kishor S. Trivedi	Reliability Analysis of Phased-Mission System With Independent Component Repairs.	IEEE Transactions on Reliability	2007	DBLP DOI BibTeX RDF
1	Liudong Xing	Reliability Evaluation of Phased-Mission Systems With Imperfect Fault Coverage and Common-Cause Failures.	IEEE Transactions on Reliability	2007	DBLP DOI BibTeX RDF
1	Dirk Stegemann	Extended BDD-Based Cryptanalysis of Keystream Generators.	Selected Areas in Cryptography	2007	DBLP DOI BibTeX RDF	F-FCSR, cryptanalysis, Stream cipher, BDD, Trivium, Grain
1	Chia-Pin R. Liu	Transistor-mapped binary decision diagram for CMOS circuits.	CAINE	2006	DBLP BibTeX RDF
1	Kai Lampka, Markus Siegle, Max Walter	An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF	Reliability and Availability Analysis, State Space Explosion Binary Decision Diagram, Reliability Block Diagrams, Markov Reward Model
1	Kenil C. K. Cheng, Roland H. C. Yap	Applying Ad-hoc Global Constraints with the case Constraint to Still-Life.	Constraints	2006	DBLP DOI BibTeX RDF	Still-life problem, Ad-hoc constraint, Non-binary constraint, Modeling, Binary decision diagram
1	Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura	A fast logic simulator using a look up table cascade emulator.	ASP-DAC	2006	DBLP DOI BibTeX RDF
1	Toshiaki Miyazaki	Boolean formulation for sensor allocation problem and its efficient solver.	MidSens	2006	DBLP DOI BibTeX RDF	combinational optimization, BDD, dynamic allocation
1	Kai Lampka, Markus Siegle	Analysis of Markov reward models using zero-suppressed multi-terminal BDDs.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	performance evaluation tool, symbolic data structure, Markov chain, discrete event systems, numerical solution
1	Saravanan Padmanaban, Spyros Tragoudas	Implicit grading of multiple path delay faults.	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	Fault simulation, decision diagrams, delay fault testing
1	Weiwei Chen, Guoyong Shi	Implementation of a Symbolic Circuit Simulator for Topological Network Analysis.	APCCAS	2006	DBLP DOI BibTeX RDF
1	P. W. Chandana Prasad, Bruce Mills, Ali Assi, S. M. N. Arosha Senanayake, V. C. Prasad	Evaluation time Estimation for Pass Transistor Logic circuits.	DELTA	2006	DBLP DOI BibTeX RDF
1	Chunjie Duan, Kanupriya Gulati, Sunil P. Khatri	Memory-based crosstalk canceling CODECs for on-chip buses.	ISCAS	2006	DBLP DOI BibTeX RDF
1	Deepanjan Datta, Samiran Ganguly	Design of Multi-bit SET Adder and Its Fault Simulation.	VLSI Design	2006	DBLP DOI BibTeX RDF
1	Walter Binder, Ion Constantinescu, Boi Faltings	Efficient Service Composition Using Zero-Suppressed Reduced Ordered Binary Decision Diagrams.	Web Intelligence	2006	DBLP DOI BibTeX RDF
1	Rüdiger Ebendt, Rolf Drechsler	Effect of improved lower bounds in dynamic BDD reordering.	IEEE Trans. on CAD of Integrated Circuits and Systems	2006	DBLP DOI BibTeX RDF
1	Arijit Mondal, P. P. Chakrabarti	Reasoning about timing behavior of digital circuits using symbolic event propagation and temporal logic.	IEEE Trans. on CAD of Integrated Circuits and Systems	2006	DBLP DOI BibTeX RDF
1	Zhihua Tang, Joanne Bechta Dugan	BDD-based reliability analysis of phased-mission systems with multimode failures.	IEEE Transactions on Reliability	2006	DBLP DOI BibTeX RDF
1	Jesper Torp Kristensen, Peter Bro Miltersen	Finding Small OBDDs for Incompletely Specified Truth Tables Is Hard.	COCOON	2006	DBLP DOI BibTeX RDF
1	Walter Binder, Ion Constantinescu, Boi Faltings	Scalable Automated Service Composition Using a Compact Directory Digest.	DEXA	2006	DBLP DOI BibTeX RDF
1	Matthias Krause, Dirk Stegemann	Reducing the Space Complexity of BDD-Based Attacks on Keystream Generators.	FSE	2006	DBLP DOI BibTeX RDF	Bluetooth E0, GSM A5/1, cryptanalysis, Stream cipher, BDD, self-shrinking generator
1	Yaniv Shaked, Avishai Wool	Cryptanalysis of the Bluetooth E0 Cipher Using OBDD's.	ISC	2006	DBLP DOI BibTeX RDF	Cryptanalysis, Stream cipher, Bluetooth, BDD
1	Daniel Sawitzki	The Complexity of Problems on Implicitly Represented Inputs.	SOFSEM	2006	DBLP DOI BibTeX RDF
1	Jan Kára, Daniel Král	Free binary decision diagrams for the computation of EARn.	Computational Complexity	2006	DBLP DOI BibTeX RDF	Subject classification, 94C10
1	Guoqiang Pan, Moshe Y. Vardi	Symbolic Techniques in Satisfiability Solving.	J. Autom. Reasoning	2005	DBLP DOI BibTeX RDF	symbolic decision procedure, satisfiability, binary decision diagram
1	Dennis Wu, Jianwen Zhu	BDD-based two variable sharing extraction.	ASP-DAC	2005	DBLP DOI BibTeX RDF
1	Tsutomu Sasao, Munehiro Matsuura	BDD representation for incompletely specifiedvmultiple-output logic functions and its applications to functional decomposition.	DAC	2005	DBLP DOI BibTeX RDF	code converter, BDD, cascade, characteristic function, incompletely specified function
1	Kameshwar Chandrasekar, Michael S. Hsiao	Forward image computation with backtracing ATPG and incremental state-set construction.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	model checking, ATPG, image computation, ZBDDs
1	Kameshwar Chandrasekar, Michael S. Hsiao	State Set Management for SAT-based Unbounded Model Checking.	ICCD	2005	DBLP DOI BibTeX RDF
1	Mahilchi Milir Vaseekar Kumar, Spyros Tragoudas	Quality Transition Fault Tests Suitable for Small Delay Defects.	ICCD	2005	DBLP DOI BibTeX RDF
1	Yen-Tai Lai, Yung-Chuan Jiang, Hong-Ming Chu	BDD decomposition for mixed CMOS/PTL logic circuit synthesis.	ISCAS	2005	DBLP DOI BibTeX RDF
1	Hyeong-Ju Kang, In-Cheol Park	SAT-based unbounded symbolic model checking.	IEEE Trans. on CAD of Integrated Circuits and Systems	2005	DBLP DOI BibTeX RDF
1	Jianwen Zhu, Silvian Calman	Context sensitive symbolic pointer analysis.	IEEE Trans. on CAD of Integrated Circuits and Systems	2005	DBLP DOI BibTeX RDF