Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications - Extended Abstract.

Christoph Scholl, Ralf Wimmer

Browse the full SAT paper archive.