Improving nogood recording using 2SAT

Proceedings. 15th IEEE International Conference on Tools with Artificial Intelligence ◽

10.1109/tai.2003.1250175 ◽

2004 ◽

Author(s):

P.J. Stuckey ◽

Lei Zheng

Download Full-text