Author:
Scholl Christoph,Becker Bernd
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. DQBDD: An Efficient BDD-Based DQBF Solver;Theory and Applications of Satisfiability Testing – SAT 2021;2021
2. Certified DQBF Solving by Definition Extraction;Theory and Applications of Satisfiability Testing – SAT 2021;2021
3. Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications;Theory and Applications of Satisfiability Testing – SAT 2018;2018
4. Verification of Incomplete Designs;Formal System Verification;2017-06-22
5. HQSpre – An Effective Preprocessor for QBF and DQBF;Tools and Algorithms for the Construction and Analysis of Systems;2017