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

Cached

Download Links

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

Document Versions

Finding Hard Instances of the Satisfiability Problem: A Survey –Stephen A. Cook, David G. Mitchell — 1997