Backdoor Sets of Quantified Boolean Formulas

Marko Samer, Stefan Szeider
January 2007
bib

Abstract

Full Citation:

Marko Samer, Stefan Szeider. Backdoor Sets of Quantified Boolean Formulas. Proceedings of SAT 2007, Tenth International Conference on Theory and Applications of Satisfiability Testing, May 28-31, 2007, Lisbon, Portugal, (J. Marques-Silva and K. A. Sakallah), volume 4501 of Lecture Notes in Computer Science, pages 230-243, 2007.

Type
Conference Paper
Stefan Szeider
Stefan Szeider
Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.