Computing Stable Models via Reductions to Boolean Circuits and Difference Logic

Reference:

Tomi Janhunen, Ilkka Niemelä, and Mark Sevalnev. Computing stable models via reductions to boolean circuits and difference logic. In Marc Denecker, editor, Proceedings of the 2nd International Workshop on Logic and Search, pages 16–30, Leuven, Belgium, November 2008.

Suggested BibTeX entry:

@inproceedings{JNS08:lash,
    address = {Leuven, Belgium},
    author = {Tomi Janhunen and Ilkka Niemel{\"a} and Mark Sevalnev},
    booktitle = {Proceedings of the 2nd International Workshop on Logic and Search},
    editor = {Marc Denecker},
    month = {November},
    pages = {16--30},
    title = {Computing Stable Models via Reductions to Boolean Circuits and Difference Logic},
    year = {2008},
}