Computing stable models via reductions to boolean circuits and difference logic

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Original languageEnglish
    Title of host publicationComputation of Structures from Declarative Descriptions
    Subtitle of host publication2nd International Workshop on Logic and Search (LaSh 2008). KU Leuven, Belgium, November 2008. Proceedings
    EditorsMarc Denecker
    Publication statusPublished - 2008
    MoE publication typeA4 Article in a conference publication

    Cite this