sKizzo
From MaRDI portal
Software:55702
No author found.
Related Items (17)
Solution validation and extraction for QBF preprocessing ⋮ Solving quantified constraint satisfaction problems ⋮ Logic-based ontology comparison and module extraction, with an application to DL-Lite ⋮ Towards Parallel Boolean Functional Synthesis ⋮ Ranking function synthesis for bit-vector relations ⋮ Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers ⋮ A Unified Framework for Certificate and Compilation for QBF ⋮ Building strategies into QBF proofs ⋮ Fault Localization and Correction with QBF ⋮ Incremental Determinization ⋮ 2QBF: Challenges and Solutions ⋮ A self-adaptive multi-engine solver for quantified Boolean formulas ⋮ A solver for QBFs in negation normal form ⋮ 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 ⋮ Solving QBF with counterexample guided refinement
This page was built for software: sKizzo
