sKizzo
From MaRDI portal
SKizzo
Cited in
(33)- A self-adaptive multi-engine solver for quantified Boolean formulas
- A solver for QBFs in negation normal form
- QuBE++
- sQueezeBF
- Quaffle
- Building strategies into QBF proofs
- Bloqqer
- Nenofex
- QUBOS
- QBFLIB
- DepQBF
- Ranking function synthesis for bit-vector relations
- CirQit2
- QUBE
- QuteSAT
- Solution validation and extraction for QBF preprocessing
- Solving quantified constraint satisfaction problems
- Solving QBF with counterexample guided refinement
- Incremental determinization
- 2QBF: challenges and solutions
- Towards Parallel Boolean Functional Synthesis
- A Unified Framework for Certificate and Compilation for QBF
- Fault Localization and Correction with 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
- Quantor
- semprop
- KoMeT
- Efficiently representing existential dependency sets for expansion-based QBF solvers
- QESTO
- dCAQE
- Logic-based ontology comparison and module extraction, with an application to DL-Lite
This page was built for software: sKizzo
