Bernd Becker

Binary Decision Diagrams

Theory and Implementation

For someone with a hammer the whole world looks like a nail. Within the last 10-13 years Binar·y Decision Diagmms (BDDs) have become the state-of-the...

From DQBF to QBF by Dependency Elimination

Extended Abstract

...

The (D)QBF Preprocessor HQSpre - Underlying Theory and Its Implementation

Abstract: Preprocessing turned out to be an essential step for SAT, QBF, and DQBF solvers to reduce/modify the number of variables and clauses of the ...