Answer Set Programming via Mixed Integer Programming

Reference:

Guohua Liu, Tomi Janhunen, and Ilkka Niemelä. Answer set programming via mixed integer programming. In Thomas Eiter and Sheila McIlraith, editors, Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 32–42, Rome, Italy, June 2012. AAAI Press.

Suggested BibTeX entry:

@inproceedings{LJN12:kr,
    address = {Rome, Italy},
    author = {Guohua Liu and Tomi Janhunen and Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR)},
    editor = {Thomas Eiter and Sheila McIlraith},
    language = {eng},
    month = {June},
    pages = {32--42},
    publisher = {AAAI Press},
    title = {Answer Set Programming via Mixed Integer Programming},
    year = {2012},
}