Conference Proceedings

Improving GSAT using 2SAT

PJ Stuckey, L Zheng

Principles and Practice of Constraint Programming - CP 2002 | Published : 2002

DOI: 10.1007/3-540-46135-3_47