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