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