Author:
Wimmer Ralf,Karrenbauer Andreas,Becker Ruben,Scholl Christoph,Becker Bernd
Publisher
Springer International Publishing
Reference36 articles.
1. Balabanov, V., Chiang, H.K., Jiang, J.R.: Henkin quantifiers and Boolean formulae: a certification perspective of DQBF. Theor. Comput. Sci. 523, 86–100 (2014)
2. Beineke, L.W., Little, C.H.C.: Cycles in bipartite tournaments. J. Comb. Theor. Ser. B 32(2), 140–145 (1982)
3. Lecture Notes in Computer Science;O Beyersdorff,2016
4. Lecture Notes in Computer Science;R Bloem,2014
5. Bubeck, U.: Model-based transformations for quantified Boolean formulas. Ph.D. thesis, University of Paderborn (2010)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Solving dependency quantified Boolean formulas using quantifier localization;Theoretical Computer Science;2022-08
2. Reducing NEXP-complete problems to DQBF;Form Comp Aid Design;2022
3. DQBDD: An Efficient BDD-Based DQBF Solver;Theory and Applications of Satisfiability Testing – SAT 2021;2021
4. Certified DQBF Solving by Definition Extraction;Theory and Applications of Satisfiability Testing – SAT 2021;2021
5. A Survey on Applications of Quantified Boolean Formulas;2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI);2019-11