sKizzo

swMATH40002MaRDI QIDQ55702FDOQ55702

Author name not available (Why is that?)

Official website: https://dl.acm.org/doi/10.1007/11532231_27

Described by source

• Automated Deduction – CADE-20

Cited In (33)

• Solving QBF with counterexample guided refinement
• Towards Parallel Boolean Functional Synthesis
• Logic-based ontology comparison and module extraction, with an application to DL-Lite
• dCAQE
• 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
• QESTO
• QuBE++
• sQueezeBF
• Quaffle
• Solving quantified constraint satisfaction problems
• Bloqqer
• Nenofex
• DepQBF
• QBFLIB
• QUBOS
• CirQit2
• QUBE
• QuteSAT
• Incremental determinization
• Quantor
• semprop
• KoMeT
• 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