Quantor
From MaRDI portal
Cited in
(42)- A self-adaptive multi-engine solver for quantified Boolean formulas
- A solver for QBFs in negation normal form
- Backdoor sets of quantified Boolean formulas
- QuBE++
- NiVER
- sQueezeBF
- Quaffle
- Bloqqer
- Nenofex
- QUBOS
- QBFLIB
- HeerHugo
- DepQBF
- Ranking function synthesis for bit-vector relations
- CirQit2
- QUBE
- QuteSAT
- Solution validation and extraction for QBF preprocessing
- Solving quantified constraint satisfaction problems
- Efficiently solving quantified bit-vector formulas
- Predicate Elimination for Preprocessing in First-Order Theorem Proving
- Incremental determinization
- Q-resolution with generalized axioms
- Dependency schemes for DQBF
- Coprocessor
- Spybug
- Failed literal detection for QBF
- Preprocessing for DQBF
- A Unified Framework for Certificate and Compilation for QBF
- A Compact Representation for Syntactic Dependencies in QBFs
- Beyond CNF: A Circuit-Based QBF Solver
- Learning to integrate deduction and search in reasoning about quantified Boolean formulas
- CAQE
- semprop
- KoMeT
- Symbolic algorithmic verification of intransitive generalized noninterference
- Blocked clause elimination for QBF
- sKizzo
- Theory and Applications of Satisfiability Testing
- RAReQS
- QESTO
- Models and quantifier elimination for quantified Horn formulas
This page was built for software: Quantor
