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
- Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers
- A self-adaptive multi-engine solver for quantified Boolean formulas
- Beyond CNF: A Circuit-Based QBF Solver
- Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas
- Building strategies into QBF proofs
- Solving quantified constraint satisfaction problems
- Ranking function synthesis for bit-vector relations
- A Unified Framework for Certificate and Compilation for QBF
- Solution validation and extraction for QBF preprocessing
- A solver for QBFs in negation normal form
- Incremental Determinization
- Fault Localization and Correction with QBF
- 2QBF: Challenges and Solutions
This page was built for software: sKizzo
