The QBF Gallery: Behind the scenes-Reference-Cited by-同舟云学术

The QBF Gallery: Behind the scenes

Author:

Lonsing Florian,Seidl Martina,Van Gelder Allen

Funder

Austrian Science Fund

Publisher

Elsevier BV

Subject

Artificial Intelligence,Linguistics and Language,Language and Linguistics

Reference49 articles.

2. QBF resolution systems and their proof complexities;Balabanov,2014

3. QBF-based formal verification: experience and perspectives;Benedetti;J. Satisf. Boolean Model. Comput.,2008

4. On unification of QBF resolution-based calculi;Beyersdorff,2014

5. Proof complexity of resolution-based QBF calculi;Beyersdorff,2015

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. FERPModels: A Certification Framework for Expansion-Based QBF Solving;2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2022-09

3. What’s New In QBF Solving? : (Invited Talk);2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2022-09

4. Chapter 31. Quantified Boolean Formulas;Frontiers in Artificial Intelligence and Applications;2021-02-02

5. A Survey on Applications of Quantified Boolean Formulas;2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI);2019-11