%0 Conference Paper %1 conf/kr/DrescherGGKKOS08 %A Drescher, Christian %A Gebser, Martin %A Grote, Torsten %A Kaufmann, Benjamin %A König, Arne %A Ostrowski, Max %A Schaub, Torsten %B KR %D 2008 %E Brewka, Gerhard %E Lang, Jérôme %I AAAI Press %K dblp %P 422-432 %T Conflict-Driven Disjunctive Answer Set Solving. %U http://dblp.uni-trier.de/db/conf/kr/kr2008.html#DrescherGGKKOS08 %@ 978-1-57735-384-3

@inproceedings{conf/kr/DrescherGGKKOS08, added-at = {2012-12-13T00:00:00.000+0100}, author = {Drescher, Christian and Gebser, Martin and Grote, Torsten and Kaufmann, Benjamin and König, Arne and Ostrowski, Max and Schaub, Torsten}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b4d42ec37e7c60e2edbb524db7c26105/dblp}, booktitle = {KR}, crossref = {conf/kr/2008}, editor = {Brewka, Gerhard and Lang, Jérôme}, ee = {http://www.aaai.org/Library/KR/2008/kr08-041.php}, interhash = {66f42f1e43b646460393949f3c1ccb17}, intrahash = {b4d42ec37e7c60e2edbb524db7c26105}, isbn = {978-1-57735-384-3}, keywords = {dblp}, pages = {422-432}, publisher = {AAAI Press}, timestamp = {2016-02-02T14:44:11.000+0100}, title = {Conflict-Driven Disjunctive Answer Set Solving.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2008.html#DrescherGGKKOS08}, year = 2008 }