Computer Logic, Testing and Verification
Computer Logic, Testing and Verification
Logic Minimization Algorithms for VLSI Synthesis
Logic Minimization Algorithms for VLSI Synthesis
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Fast, small, and static combinatorial CMOS circuits
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Boolean comparison by simulation
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
A new method for verifying sequential circuits
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
On the power of Las Vegas for one-way communication complexity, OBDDs, and finite automata
Information and Computation
A Characterization of Binary Decision Diagrams
IEEE Transactions on Computers
Computing strongly connected components in a linear number of symbolic steps
SODA '03 Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete algorithms
From Bisimulation to Simulation: Coarsest Partition Problems
Journal of Automated Reasoning
Ackermann encoding, bisimulations and OBDDs
Theory and Practice of Logic Programming
Lower bounds for restricted read-once parity branching programs
Theoretical Computer Science
Lower bounds on the OBDD size of two fundamental functions' graphs
Information Processing Letters
Automated Creation of Pattern Database Search Heuristics
Model Checking and Artificial Intelligence
Limits and Possibilities of BDDs in State Space Search
KI '08 Proceedings of the 31st annual German conference on Advances in Artificial Intelligence
Solving μ-Calculus Parity Games by Symbolic Planning
Model Checking and Artificial Intelligence
A novel formal verification approach for RTL hardware IP cores
Computer Standards & Interfaces
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Dynamically resizable binary decision diagrams
Proceedings of the 20th symposium on Great lakes symposium on VLSI
Computing minimal diagnosis with binary decision diagrams algorithm
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 1
Perfect hashing for state spaces in BDD representation
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Knowledge compilation meets database theory: compiling queries to decision diagrams
Proceedings of the 14th International Conference on Database Theory
Runtime Verification for LTL and TLTL
ACM Transactions on Software Engineering and Methodology (TOSEM)
Finding small OBDDs for incompletely specified truth tables is hard
COCOON'06 Proceedings of the 12th annual international conference on Computing and Combinatorics
On symbolic scheduling independent tasks with restricted execution times
WEA'05 Proceedings of the 4th international conference on Experimental and Efficient Algorithms
A symbolic approach to the all-pairs shortest-paths problem
WG'04 Proceedings of the 30th international conference on Graph-Theoretic Concepts in Computer Science
Exponential lower bounds on the space complexity of OBDD-Based graph algorithms
LATIN'06 Proceedings of the 7th Latin American conference on Theoretical Informatics
On the tractability of query compilation and bounded treewidth
Proceedings of the 15th International Conference on Database Theory
Probabilistic databases with MarkoViews
Proceedings of the VLDB Endowment
| Hi-index | 0.00 |