%0 Journal Article %1 journals/ai/GebserKS12 %A Gebser, Martin %A Kaufmann, Benjamin %A Schaub, Torsten %D 2012 %J Artif. Intell. %K %P 52-89 %T Conflict-driven answer set solving: From theory to practice. %U http://dblp.uni-trier.de/db/journals/ai/ai187.html#GebserKS12 %V 187

@article{journals/ai/GebserKS12, added-at = {2023-12-12T20:15:37.000+0100}, author = {Gebser, Martin and Kaufmann, Benjamin and Schaub, Torsten}, biburl = {https://www.bibsonomy.org/bibtex/201e3c07f43f5e5236382063e6bfdae8a/admin}, ee = {http://dx.doi.org/10.1016/j.artint.2012.04.001}, interhash = {2cb2025bd3c915d14da1776330121831}, intrahash = {01e3c07f43f5e5236382063e6bfdae8a}, journal = {Artif. Intell.}, keywords = {}, pages = {52-89}, timestamp = {2023-12-12T20:15:37.000+0100}, title = {Conflict-driven answer set solving: From theory to practice.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai187.html#GebserKS12}, volume = 187, year = 2012 }