A Comparison of Systematic and Local Search Algorithms for Regular CNF Formulas.

Ramón Béjar Felip Manyà A Comparison of Systematic and Local Search Algorithms for Regular CNF Formulas. 22-31 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1638&spage=0022 1999 conf/ecsqaru/1999 ESCQARU db/conf/ecsqaru/ecsqaru1999.html#BejarM99