swMATH46007MaRDI QIDQ5974402FDOQ5974402
Author name not available (Why is that?)
Official website: http://sat.inesc-id.pt/~mikolas/sw/qesto/
Source code repository: https://github.com/MikolasJanota/qesto
Cited In (31)
- dCAQE
- The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
- Planning with Incomplete Information in Quantified Answer Set Programming
- RAReQS
- Non-prenex QBF solving using abstraction
- Solving dependency quantified Boolean formulas using quantifier localization
- sQueezeBF
- Quaffle
- Bloqqer
- Nenofex
- DepQBF
- QBFLIB
- QUBOS
- CirQit2
- QMiraXT
- Incremental determinization
- Proof complexity of symbolic QBF reasoning
- HordeQBF
- MPIDepQBF
- QBFEVAL
- AIGSolve
- CAQE
- Quantor
- HQSpre
- semprop
- 2QBF: challenges and solutions
- sKizzo
- Combining resolution-path dependencies with dependency learning
- Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
- QRATPre+
- Q-resolution with generalized axioms
This page was built for software: QESTO
