[SML96]
B. Selman, D.G. Mitchell, and H.J. Levesque.
Generating Hard Satisfiability Instances.
Artificial Intelligence, Vol. 81, pages 17-29, 1996. | |
[SML96]
D.G. Mitchell, and H.J. Levesque.
Some Pitfalls for Experiments with Random SAT.
Artificial Intelligence, Vol. 81, pages 111-125, 1996. | |