Peter J. Stuckey, Lei Zheng. Improving Nogood Recording Using 2SAT. In 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 3-5 November 2003, Sacramento, California, USA. pages 94-99, IEEE Computer Society, 2003. [doi]
Abstract is missing.