QESTO
From MaRDI portal
Software:5974402
No author found.
Source code repository: https://github.com/MikolasJanota/qesto
Related Items (10)
Solving dependency quantified Boolean formulas using quantifier localization ⋮ Combining resolution-path dependencies with dependency learning ⋮ Incremental Determinization ⋮ Non-prenex QBF Solving Using Abstraction ⋮ Q-Resolution with Generalized Axioms ⋮ 2QBF: Challenges and Solutions ⋮ Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations ⋮ The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17) ⋮ Planning with Incomplete Information in Quantified Answer Set Programming ⋮ Proof complexity of symbolic QBF reasoning
This page was built for software: QESTO
