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

Ramn Bjar, Felip Many

Browse the full ECSQARU paper archive.