Answer Set Programming via Mixed Integer Programming (2012)
AUTHORS:
Liu Guohua,
Janhunen Tomi
,
Niemelä Ilkka
BOOKTITLE:
Principles of Knowledge Representation and Reasoning
PAGES:
32-42
@inproceedings{ ljn-kr-2012, author = {Liu, Guohua and Janhunen, Tomi and Niemel{\"a}, Ilkka}, juforank = "1", 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 = "Principles of Knowledge Representation and Reasoning", responsibleauthor = "Liu, Guohua", flags = "COIN HIIT", il = "no", year = "2012", unitcode = "T306 - 99, T312 - 1", impactfactor = "A4", pages = "32-42" }