Martin Gebser, Orkunt Sabuncu, Torsten Schaub. Finite Model Computation via Answer Set Programming. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pages 2626-2631, IJCAI/AAAI, 2011. [doi]
@inproceedings{GebserSS11-0,
title = {Finite Model Computation via Answer Set Programming},
author = {Martin Gebser and Orkunt Sabuncu and Torsten Schaub},
year = {2011},
url = {http://ijcai.org/papers11/Papers/IJCAI11-437.pdf},
tags = {programming},
researchr = {https://researchr.org/publication/GebserSS11-0},
cites = {0},
citedby = {0},
pages = {2626-2631},
booktitle = {IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011},
editor = {Toby Walsh},
publisher = {IJCAI/AAAI},
isbn = {978-1-57735-516-8},
}