%0 Conference Paper %1 conf/aaai/DrescherW11 %A Drescher, Christian %A Walsh, Toby %B AAAI %D 2011 %E Burgard, Wolfram %E Roth, Dan %I AAAI Press %K dblp %T Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2011.html#DrescherW11

@inproceedings{conf/aaai/DrescherW11, added-at = {2011-08-09T00:00:00.000+0200}, author = {Drescher, Christian and Walsh, Toby}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/275517047e4d1a763ce2cc9b105492cd3/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2011}, editor = {Burgard, Wolfram and Roth, Dan}, ee = {http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3428}, interhash = {fcbdcf1bab8efc823cb732129de16906}, intrahash = {75517047e4d1a763ce2cc9b105492cd3}, keywords = {dblp}, publisher = {AAAI Press}, timestamp = {2016-02-02T13:18:44.000+0100}, title = {Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2011.html#DrescherW11}, year = 2011 }