Translating Answer-Set Programs into Bit-Vector Logic

Reference:

Mai Nguyen, Tomi Janhunen, and Ilkka Niemelä. Translating answer-set programs into bit-vector logic. In Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Hans Tompits, Masanobu Umeda, and Armin Wolf, editors, Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management, pages 105–116, Vienna, Austria, September 2011. TU Wien, INFSYS Research Report 1843-11-06.

Suggested BibTeX entry:

@inproceedings{NJN11:inap,
    address = {Vienna, Austria},
    author = {Mai Nguyen and Tomi Janhunen and Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management},
    editor = {Salvador Abreu and Johannes Oetsch and J{\"o}rg P{\"u}hrer and Dietmar Seipel and Hans Tompits and Masanobu Umeda and Armin Wolf},
    month = {September},
    note = {TU Wien, INFSYS Research Report 1843-11-06},
    pages = {105--116},
    title = {Translating Answer-Set Programs into Bit-Vector Logic},
    year = {2011},
}