Computing Stable Models via Reductions to Boolean Circuits and Difference Logic (2008)

@inproceedings{
    JNS08:lash_ini,
    editor = "Denecker, Marc",
    author = {Janhunen, Tomi and Niemel{\"a}, Ilkka and Sevalnev, Mark},
    title = "Computing Stable Models via Reductions to Boolean Circuits and Difference Logic",
    booktitle = "Proceedings of the 2nd International Workshop on Logic and Search",
    address = "Leuven, Belgium",
    month = "November",
    flags = "MCM copy",
    year = "2008",
    pages = "16--30"
}

AUTHORS: