sKizzo
From MaRDI portal
Software:55702
swMATH40002MaRDI QIDQ55702FDOQ55702
Author name not available (Why is that?)
Cited In (17)
- Solving QBF with counterexample guided refinement
- Towards Parallel Boolean Functional Synthesis
- Logic-based ontology comparison and module extraction, with an application to DL-Lite
- A Compact Representation for Syntactic Dependencies in QBFs
- A self-adaptive multi-engine solver for quantified Boolean formulas
- Beyond CNF: A Circuit-Based QBF Solver
- Building strategies into QBF proofs
- Solving quantified constraint satisfaction problems
- Incremental determinization
- Ranking function synthesis for bit-vector relations
- Efficiently representing existential dependency sets for expansion-based QBF solvers
- 2QBF: challenges and solutions
- A Unified Framework for Certificate and Compilation for QBF
- Solution validation and extraction for QBF preprocessing
- A solver for QBFs in negation normal form
- Fault Localization and Correction with QBF
- Learning to integrate deduction and search in reasoning about quantified Boolean formulas
This page was built for software: sKizzo
