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

by
Stephen A. Cook
,
David G. Mitchell

Citations: | 119 - 1 self |

### BibTeX

@INPROCEEDINGS{Cook97findinghard,

author = {Stephen A. Cook and David G. Mitchell},

title = {Finding Hard Instances of the Satisfiability Problem: A Survey},

booktitle = {},

year = {1997},

pages = {1--17},

publisher = {American Mathematical Society}

}

### Years of Citing Articles

### OpenURL

### Abstract

. Finding sets of hard instances of propositional satisfiability is of interest for understanding the complexity of SAT, and for experimentally evaluating SAT algorithms. In discussing this we consider the performance of the most popular SAT algorithms on random problems, the theory of average case complexity, the threshold phenomenon, known lower bounds for certain classes of algorithms, and the problem of generating hard instances with solutions.