semprop
From MaRDI portal
Semprop
Cited in
(40)- A solver for QBFs in negation normal form
- QuBE++
- QRATPre+
- On deciding subsumption problems
- sQueezeBF
- Quaffle
- Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
- Squolem
- Bloqqer
- Nenofex
- QUBOS
- SATORI
- DepQBF
- From QBFs to \textsf{MALL} and back via focussing
- The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
- CirQit2
- QUBE
- QMiraXT
- Conformant planning as a case study of incremental QBF solving
- Computational methods for database repair by signed formulae
- Solving QBF with counterexample guided refinement
- Q-resolution with generalized axioms
- HordeQBF: a modular and massively parallel QBF solver
- Spybug
- The QBF Gallery: behind the scenes
- HordeQBF
- MPIDepQBF
- Validating QBF Validity in HOL4
- Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API
- QBFEVAL
- A Compact Representation for Syntactic Dependencies in QBFs
- CAQE
- AIGSolve
- Quantor
- HQSpre
- KoMeT
- sKizzo
- RAReQS
- QESTO
- The complexity of pure literal elimination
This page was built for software: semprop
