From DQBF to QBF by Dependency Elimination - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker 0001. From DQBF to QBF by Dependency Elimination. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018. Universität Tübingen, 2018. [doi]

The following publications are possibly variants of this publication:

From DQBF to QBF by Dependency EliminationRalf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker 0001. sat 2017: 326-343 [doi]

HQSpre - An Effective Preprocessor for QBF and DQBFRalf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker 0001. TACAS 2017: 373-390 [doi]

Lifting QBF Resolution Calculi to DQBFOlaf Beyersdorff, Leroy Chew, Renate A. Schmidt, Martin Suda 0001. sat 2016: 490-499 [doi]

Lifting QBF Resolution Calculi to DQBFOlaf Beyersdorff, Leroy Chew, Renate A. Schmidt, Martin Suda 0001. eccc, 23:48, 2016. [doi]

Dependency Schemes for DQBFRalf Wimmer, Christoph Scholl, Karina Wimmer, Bernd Becker. sat 2016: 473-489 [doi]

Solving DQBF through quantifier eliminationKarina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker. date 2015: 1617-1622 [doi]

Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBFOlaf Beyersdorff, Joshua Blinkhorn, Leroy Chew, Renate A. Schmidt, Martin Suda 0001. JAR, 63(3):597-623, 2019. [doi]

runs on WebDSL