%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 = {2012-07-11T00:00:00.000+0200}, author = {Liu, Guohua and Janhunen, Tomi and Niemelä, Ilkka}, biburl = {https://puma.ub.uni-stuttgart.de/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 = {2016-02-02T14:44:09.000+0100}, title = {Answer Set Programming via Mixed Integer Programming.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2012.html#LiuJN12}, year = 2012 }