@InProceedings{	  lijani12a,
  author	= "G. Liu and T. Janhunen and I. Niemelä",
  title		= "Answer Set Programming via Mixed Integer Programming",
  crossref	= "kr12",
  pages		= "32-42"
}

{"_id":"aWXHGKcTbJzX4Br7L","bibbaseid":"liu-janhunen-niemel-answersetprogrammingviamixedintegerprogramming","downloads":0,"creationDate":"2016-08-22T10:51:33.925Z","title":"Answer Set Programming via Mixed Integer Programming","author_short":["Liu, G.","Janhunen, T.","Niemelä, I."],"year":null,"bibtype":"inproceedings","biburl":"http://www.cs.uni-potsdam.de/~torsten/tmp/tmp.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["G."],"propositions":[],"lastnames":["Liu"],"suffixes":[]},{"firstnames":["T."],"propositions":[],"lastnames":["Janhunen"],"suffixes":[]},{"firstnames":["I."],"propositions":[],"lastnames":["Niemelä"],"suffixes":[]}],"title":"Answer Set Programming via Mixed Integer Programming","crossref":"kr12","pages":"32-42","bibtex":"@InProceedings{\t lijani12a,\n author\t= \"G. Liu and T. Janhunen and I. Niemelä\",\n title\t\t= \"Answer Set Programming via Mixed Integer Programming\",\n crossref\t= \"kr12\",\n pages\t\t= \"32-42\"\n}\n\n","author_short":["Liu, G.","Janhunen, T.","Niemelä, I."],"key":"lijani12a","id":"lijani12a","bibbaseid":"liu-janhunen-niemel-answersetprogrammingviamixedintegerprogramming","role":"author","urls":{},"downloads":0},"search_terms":["answer","set","programming","via","mixed","integer","programming","liu","janhunen","niemelä"],"keywords":[],"authorIDs":[],"dataSources":["9j2A2CHeS829AvBXf"]}