Christian Drescher, Toby Walsh. Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation. In Wolfram Burgard, Dan Roth, editors, Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011. pages 1772-1773, AAAI Press, 2011. [doi]
@inproceedings{DrescherW11,
title = {Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation},
author = {Christian Drescher and Toby Walsh},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3428},
tags = {laziness, constraints},
researchr = {https://researchr.org/publication/DrescherW11},
cites = {0},
citedby = {0},
pages = {1772-1773},
booktitle = {Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011},
editor = {Wolfram Burgard and Dan Roth},
publisher = {AAAI Press},
}