Byungki Cha Kazuo Iwama Performance Test of Local Search Algorithms Using New Types of Random CNF Formulas. 304-311 1995 IJCAI db/conf/ijcai/ijcai95.html#ChaI95