Finding Hard Instances of the Satisfiability Problem: A Survey (1997)

Cached

Download Links

by Stephen A. Cook , David G. Mitchell
Citations:114 - 1 self

Active Bibliography

127 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
14 The search for Satisfaction – Ian P. Gent, Toby Walsh - 1999
24 Satisfiability Solvers – Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
161 Improvements To Propositional Satisfiability Search Algorithms – Jon William Freeman - 1995
47 Intelligent Backtracking On Constraint Satisfaction Problems: Experimental And Theoretical Results – Andrew B. Baker - 1995
16 Lifted Search Engines for Satisfiability – Andrew J. Parkes - 1999
Chapter 2 Satisfiability Solvers – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman
Novel Value Ordering Heuristics Using Non-Linear Optimization In Boolean Satisfiability – Vladimir Pisanov
5 Incomplete Algorithms – Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
16 Parallelizing Satz Using Dynamic Workload Balancing – Bernard Jurkowiak, Chu Min Li, Gil Utard - 2001
360 GSAT and Dynamic Backtracking – Matthew L. Ginsberg, David A. McAllester - 1994
32 Propositional Satisfiability and Constraint Programming: a Comparative Survey – Lucas Bordeaux, Youssef Hamadi, Lintao Zhang - 2006
15 Market Protocols for Decentralized Supply Chain Formation – William E. Walsh - 2001
17 Investigating a general hierarchy of polynomially decidable classes of CNF's based on short tree-like resolution proofs – Oliver Kullmann - 1999
Anatomy and Empirical Evaluation of Modern SAT Solvers – Yuri Gurevich, Karem A. Sakallah, Joao Marques-silva
46 Evidence for a Satisfiability Threshold for Random 3CNF Formulas – Tracy Larrabee, Yumi Tsuji - 1993
62 Local search algorithms for SAT: An empirical evaluation – Holger H. Hoos, Thomas Stützle - 2000
1 PROPOSITIONAL THEOREM PROVING: ADVANCED LEMMA STRATEGIES AND MULTI-AGENT SEARCH – Fumiaki Okushi - 1998
10 Disjoint NP-Pairs and . . . – Olaf Beyersdorff