%0 Conference Paper %1 conf/kr/LiuJN12 %A Liu, Guohua %A Janhunen, Tomi %A Niemelä, Ilkka %B KR %D 2012 %E Brewka, Gerhard %E Eiter, Thomas %E McIlraith, Sheila A. %I AAAI Press %K dblp %T Answer Set Programming via Mixed Integer Programming. %U http://dblp.uni-trier.de/db/conf/kr/kr2012.html#LiuJN12 %@ 978-1-57735-560-1

@inproceedings{conf/kr/LiuJN12, added-at = {2021-02-09T00:00:00.000+0100}, author = {Liu, Guohua and Janhunen, Tomi and Niemelä, Ilkka}, biburl = {https://www.bibsonomy.org/bibtex/223b05b5a34c79ea173453d2ae5ea356c/dblp}, booktitle = {KR}, crossref = {conf/kr/2012}, editor = {Brewka, Gerhard and Eiter, Thomas and McIlraith, Sheila A.}, ee = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4516}, interhash = {02ee768b8fcb235186ccbd2a4a897323}, intrahash = {23b05b5a34c79ea173453d2ae5ea356c}, isbn = {978-1-57735-560-1}, keywords = {dblp}, publisher = {AAAI Press}, timestamp = {2024-04-10T13:34:12.000+0200}, title = {Answer Set Programming via Mixed Integer Programming.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2012.html#LiuJN12}, year = 2012 }