Conference Proceedings

Improving GSAT using 2SAT

PJ Stuckey, L Zheng

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