%0 Conference Paper %1 conf/ijcai/GebserSS11 %A Gebser, Martin %A Sabuncu, Orkunt %A Schaub, Torsten %B IJCAI %D 2011 %E Walsh, Toby %I IJCAI/AAAI %K %P 2626-2631 %T Finite Model Computation via Answer Set Programming. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2011.html#GebserSS11 %@ 978-1-57735-516-8

@inproceedings{conf/ijcai/GebserSS11, added-at = {2023-12-12T23:57:47.000+0100}, author = {Gebser, Martin and Sabuncu, Orkunt and Schaub, Torsten}, biburl = {https://www.bibsonomy.org/bibtex/2c79899e86081d7d60fe5179c845f7655/admin}, booktitle = {IJCAI}, crossref = {conf/ijcai/2011}, editor = {Walsh, Toby}, ee = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-437}, interhash = {5cd1032e4c88e03a17864c4d6b7fdcca}, intrahash = {c79899e86081d7d60fe5179c845f7655}, isbn = {978-1-57735-516-8}, keywords = {}, pages = {2626-2631}, publisher = {IJCAI/AAAI}, timestamp = {2023-12-12T23:57:47.000+0100}, title = {Finite Model Computation via Answer Set Programming.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2011.html#GebserSS11}, year = 2011 }