|
11
|
Satisfiability Solvers
– Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman
- 2008
|
|
107
|
Algorithms for the Satisfiability (SAT) Problem: A Survey
– Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah
- 1996
|
|
12
|
Lifted Search Engines for Satisfiability
– Andrew J. Parkes
- 1999
|
|
|
Principles of Efficient Inference
– Henry Kautz
- 2001
|
|
23
|
Propositional Satisfiability and Constraint Programming: a Comparative Survey
– Lucas Bordeaux, Youssef Hamadi, Lintao Zhang
- 2006
|
|
39
|
Resolution versus Search: Two Strategies for SAT
– Irina Rish, Rina Dechter
- 2000
|
|
323
|
GSAT and Dynamic Backtracking
– Matthew L. Ginsberg, David A. McAllester
- 1994
|
|
9
|
Domain-Independent Local Search For Linear Integer Optimization
– Joachim Paul Walser
- 1998
|
|
101
|
Finding Hard Instances of the Satisfiability Problem: A Survey
– Stephen A. Cook, David G. Mitchell
- 1997
|
|
|
Boolean Satisfiability -- From Theoretical . . .
– Harad Malik, et al.
- 2009
|
|
1
|
PROPOSITIONAL THEOREM PROVING: ADVANCED LEMMA STRATEGIES AND MULTI-AGENT SEARCH
– Fumiaki Okushi
- 1998
|
|
141
|
Improvements To Propositional Satisfiability Search Algorithms
– Jon William Freeman
- 1995
|
|
44
|
Intelligent Backtracking On Constraint Satisfaction Problems: Experimental And Theoretical Results
– Andrew B. Baker
- 1995
|
|
3
|
Local Search for NP-Hard Problems
– Jeremy David Frank, Jeremy David Frank
- 1997
|
|
6
|
The GSAT/SA-Familiy -- Relating greedy satisifability testing to simulated annealing
– S. Hölldobler, H. Hoos, A. Strohmaier, A. Weiß
- 1994
|
|
44
|
A Simplifier for Propositional Formulas with Many Binary Clauses
– Ronen I. Brafman
- 2001
|
|
35
|
The impact of branching heuristics in propositional satisfiability algorithms
– João Marques-silva
- 1999
|
|
56
|
Local search algorithms for SAT: An empirical evaluation
– Holger H. Hoos, Thomas Stützle
- 2000
|
|
1
|
On the Accuracy and Running Time of GSAT
– Deborah East, Miroslaw Truszczynski
- 1999
|
