QESTO

MaRDI QIDQ5974402swMATHFDO

Official website http://sat.inesc-id.pt/~mikolas/sw/qesto/

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

Cited in

(31)

• 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
• Non-prenex QBF solving using abstraction
• Solving dependency quantified Boolean formulas using quantifier localization
• sQueezeBF
• Quaffle
• Bloqqer
• Nenofex
• DepQBF
• QBFLIB
• QUBOS
• CirQit2
• QMiraXT
• HordeQBF
• MPIDepQBF
• QBFEVAL
• AIGSolve
• CAQE
• Quantor
• HQSpre
• semprop
• sKizzo
• RAReQS
• Incremental determinization
• Proof complexity of symbolic QBF reasoning
• 2QBF: challenges and solutions
• Combining resolution-path dependencies with dependency learning
• Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
• QRATPre+
• dCAQE

This page was built for software: QESTO