QESTO

swMATH46007MaRDI QIDQ5974402FDOQ5974402

Author name not available (Why is that?)

Source code repository: https://github.com/MikolasJanota/qesto

Cited In (10)

• Q-Resolution with Generalized Axioms
• The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
• Planning with Incomplete Information in Quantified Answer Set Programming
• Solving dependency quantified Boolean formulas using quantifier localization
• Non-prenex QBF Solving Using Abstraction
• Proof complexity of symbolic QBF reasoning
• Combining resolution-path dependencies with dependency learning
• Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
• Incremental Determinization
• 2QBF: Challenges and Solutions

This page was built for software: QESTO