Answer Set Programming via Mixed Integer Programming

Reference:

Guohua Liu, Tomi Janhunen, and Ilkka Niemelä. Answer set programming via mixed integer programming. In Principles of Knowledge Representation and Reasoning, pages 32–42, 2012.

Suggested BibTeX entry:

@inproceedings{ljn-kr-2012,
    author = {Guohua Liu and Tomi Janhunen and Ilkka Niemel{\"a}},
    booktitle = {Principles of Knowledge Representation and Reasoning},
    language = {eng},
    pages = {32-42},
    title = {Answer Set Programming via Mixed Integer Programming},
    year = {2012},
}