SAT modulo Graphs: Acyclicity

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

Researchers

Research units

Details

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

ID: 550352