Solving DQBF through quantifier elimination.

Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker

Browse the full DATE paper archive.