Answer Set Programming via Mixed Integer Programming (2012)
AUTHORS:
Liu Guohua,
Janhunen Tomi
,
Niemelä Ilkka
BOOKTITLE:
Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR)
PAGES:
32--42
@inproceedings{ LJN12:kr, editor = "Eiter, Thomas and McIlraith, Sheila", author = {Liu, Guohua and Janhunen, Tomi and Niemel{\"a}, Ilkka}, publisher = "AAAI Press", eventtime = "June 10-14", isbn = "978-1-57735-560-1", language = "eng", title = "Answer Set Programming via Mixed Integer Programming", eventlocation = "Rome, Italy", country = "USA", booktitle = "Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR)", address = "Rome, Italy", flags = "HIIT COIN copy", month = "June", responsibleauthor = {Janhunen, Tomi, Liu, Guohua, Niemel{\"a}, Ilkka}, juforank = "1", il = "no", year = "2012", unitcode = "T3060-99,T312-1", impactfactor = "A4", pages = "32--42" }