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