Conflict-Driven XOR-Clause Learning

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

Researchers

Research units

Details

Original languageEnglish
Title of host publicationFifteenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), Trento, Italy, June 17-20, 2012
EditorsAlessandro Cimatti, Roberto Sebastiani
Publication statusPublished - 2012
MoE publication typeA4 Article in a conference publication

Publication series

Name Lecture Notes in Computer Science
PublisherSpringer
Volume7317
ISSN (Print)0302-9743

ID: 659335