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

DOI: 10.1109/TAI.2003.1250175

University of Melbourne Researchers

Peter Stuckey Author Computing and Information Systems

Citation metrics

Keywords

Computer Science

Science & Technology

Imaging Science & Photographic Technology

Computer Science, Artificial Intelligence

Computer Science, Software Engineering