Iwama, Kazuo

3 publications

AAAI 1997 Local Search Algorithms for Partial MAXSAT Byungki Cha, Kazuo Iwama, Yahiko Kambayashi, Shuichi Miyazaki

AAAI 1996 Adding New Clauses for Faster Local Search Byungki Cha, Kazuo Iwama

IJCAI 1995 Performance Test of Local Search Algorithms Using New Types of Random CNF Formulas Byungki Cha, Kazuo Iwama