SAT modulo Graphs: Acyclicity

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

    21 Citations (Scopus)
    Original languageEnglish
    Title of host publicationEuropean Conference on Logics in Artificial Intelligence, JELIA 2014, 24-26 September, Funchal, Madeira, Portugal
    Pages137-151
    Publication statusPublished - 2014
    MoE publication typeA4 Article in a conference publication

    Cite this