|
636
|
A machine program for theorem proving
– M Davis, G Logemann, D Loveland
- 1962
|
|
182
|
Using CSP look-back techniques to solve real-world SAT instances
– Roberto J. Bayardo
- 1997
|
|
303
|
GRASP: A Search Algorithm for Propositional Satisfiability
– Joaäo P. Marques-silva, Karem A. Sakallah
- 1999
|
|
175
|
SATO: an Efficient Propositional Prover
– Hantao Zhang
- 1997
|
|
35
|
The impact of branching heuristics in propositional satisfiability algorithms
– João Marques-silva
- 1999
|
|
102
|
Solving propositional satisfiability problems
– R E Jeroslow, J Wang
- 1990
|
|
129
|
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems - or: Making KRIS get a move on
– Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi
- 1992
|
|
100
|
Combinational test generation using satisfiability
– P Stephan, R Brayton, A Sangiovanni-Vincentelli
- 1996
|
|
620
|
A New Method for Solving Hard Satisfiability Problems
– Bart Selman, Hector Levesque, David Mitchell
- 1992
|
|
106
|
Optimising tableaux decision procedures for description logics
– I Horrocks
- 1997
|
|
926
|
A computing procedure for quantification theory
– Martin Davis, Hilary Putnam
- 1960
|
|
186
|
Experimental Results on the Crossover Point in Satisfiability Problems
– James M. Crawford, Larry D. Auton
- 1993
|
|
106
|
Heuristics based on unit propagation for satisfiability problems
– Chu Min Li
- 1997
|
|
909
|
Chaff: Engineering an Efficient SAT Solver
– Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik
- 2001
|
|
45
|
Conflict analysis in search algorithms for propositional satisfiability
– Joso I Marques Silva
- 1996
|
|
139
|
Using CSP look-back techniques to solve real-world SAT instances
– R Schrag
- 1997
|
|
423
|
A machine program for theoremproving
– Martin Davis, George Logemann, Donald Loveland
- 1962
|
|
258
|
Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae
– William F Dowling, Jean H Gallier
- 1984
|
|
68
|
Improvements to the evaluation of quantified Boolean formulae
– Jussi Rintanen
- 1999
|
