Conference Proceedings

Improving nogood recording using 2SAT

PJ Stuckey, L Zheng, B Werner

Proceedings of the Fifteenth IEEE International Conference on Tools with Artificial Intelligence | IEEE COMPUTER SOC | Published : 2003