From DQBF to QBF by Dependency Elimination

Theory and Applications of Satisfiability Testing – SAT 2017 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-66263-3_21 ◽

2017 ◽

pp. 326-343 ◽

Cited By ~ 2

Author(s):

Ralf Wimmer ◽

Andreas Karrenbauer ◽

Ruben Becker ◽

Christoph Scholl ◽

Bernd Becker

Download Full-text