Stochastic Local Search over Minterms on Structured SAT Instances.

Wenxiang Chen, L. Darrell Whitley, Adele E. Howe, Brian W. Goldman

Browse the full SoCS paper archive.