Performance Test of Local Search Algorithms Using New Types of Random CNF Formulas.

Byungki Cha, Kazuo Iwama

Browse the full IJCAI paper archive.