The following pages link to sKizzo (Q55702):
Displaying 17 items.
- Solving QBF with counterexample guided refinement (Q253964) (← links)
- Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
- A self-adaptive multi-engine solver for quantified Boolean formulas (Q1020496) (← links)
- A solver for QBFs in negation normal form (Q1020501) (← links)
- Building strategies into QBF proofs (Q2031411) (← links)
- Ranking function synthesis for bit-vector relations (Q2248069) (← links)
- Solution validation and extraction for QBF preprocessing (Q2362496) (← links)
- Solving quantified constraint satisfaction problems (Q2389634) (← links)
- Incremental Determinization (Q2818028) (← links)
- 2QBF: Challenges and Solutions (Q2818033) (← links)
- Towards Parallel Boolean Functional Synthesis (Q3303903) (← links)
- A Unified Framework for Certificate and Compilation for QBF (Q3601811) (← links)
- Fault Localization and Correction with QBF (Q3612477) (← links)
- A Compact Representation for Syntactic Dependencies in QBFs (Q3637175) (← links)
- Beyond CNF: A Circuit-Based QBF Solver (Q3637177) (← links)
- Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas (Q3655211) (← links)
- Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers (Q5170277) (← links)
