|
2605
|
Graph-based algorithms for Boolean function manipulation
– Randal E. Bryant
- 1986
|
|
14
|
Search vs. symbolic techniques in satisfiability solving
– Guoqiang Pan, Moshe Y. Vardi
- 2004
|
|
636
|
A machine program for theorem proving
– M Davis, G Logemann, D Loveland
- 1962
|
|
146
|
Symbolic Model Checking with Partitioned Transition Relations
– J. R. Burch, E. M. Clarke, D. E. Long
- 1991
|
|
12
|
Hiding propositional constants in BDDs
– Jan Friso Groote
- 1994
|
|
14
|
A Compressed Breadth-First Search for Satisfiability
– Doron B. Motter, Igor L. Markov
- 2002
|
|
28
|
Multi-Resolution on Compressed Sets of Clauses
– Philippe Chatalic, Laurent Simon
- 2000
|
|
926
|
A computing procedure for quantification theory
– Martin Davis, Hilary Putnam
- 1960
|
|
87
|
Generating Hard Satisfiability Problems
– Bart Selman, David Mitchell, Hector Levesque
- 1996
|
|
24
|
Early quantification and partitioned transition relations
– R Hojati, S C Krishnan, R K Brayton
- 1996
|
|
206
|
Simple linear-time algorithms to test chordality of graphs, test acyclicity of hypergraphs, and selectively reduce acyclic hypergraphs
– R E Tarjan, M Yannakakis
- 1984
|
|
22
|
Partition-Based Decision Heuristics for Image Computation using SAT and BDDs
– Aarti Gupta, Zijiang Yang, Pranav Ashar
- 2001
|
|
1208
|
Symbolic Model Checking
– K L McMillan
- 1993
|
|
56
|
Efficient BDD Algorithms for FSM Synthesis and Verification
– Rajeev K. Ranjan, Adnan Aziz, Robert K. Brayton, Bernard Plessier, Carl Pixley
- 1995
|
|
2028
|
Compositional Model Checking
– E. M. Clarke, D. E. Long, K. L. Mcmillan
- 1999
|
|
39
|
Ordered Binary Decision Diagrams and the Davis-Putnam Procedure
– Tomás E. Uribe, Mark E. Stickel
- 1994
|
|
122
|
Constructing Conditional Plans by a Theorem-Prover
– Jussi Rintanen
- 1999
|
|
118
|
An Algorithm to Evaluate Quantified Boolean Formulae and its Experimental Evaluation
– Marco Cadoli, Marco Schaerf, Massimo Giovanardi, Massimo Giovanardi
- 1999
|
|
51
|
Berkmin: A fast and robust sat solver
– E Goldberg, Y Novikov
|
