Martin Gebser, Benjamin Kaufmann, Torsten Schaub. Advanced Conflict-Driven Disjunctive Answer Set Solving. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 912-918, IJCAI/AAAI, 2013. [doi]
@inproceedings{GebserKS13, title = {Advanced Conflict-Driven Disjunctive Answer Set Solving}, author = {Martin Gebser and Benjamin Kaufmann and Torsten Schaub}, year = {2013}, url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6835}, researchr = {https://researchr.org/publication/GebserKS13}, cites = {0}, citedby = {0}, pages = {912-918}, booktitle = {IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013}, editor = {Francesca Rossi}, publisher = {IJCAI/AAAI}, isbn = {978-1-57735-633-2}, }