![](/img/cover-not-exists.png)
Local Search Algorithms for SAT: An Empirical Evaluation
Holger H. Hoos, Thomas StützleVolume:
24
Language:
english
Pages:
61
DOI:
10.1023/a:1006350622830
Date:
May, 2000
File:
PDF, 494 KB
english, 2000