QUBOS
From MaRDI portal
Software:21561
swMATH9580MaRDI QIDQ21561FDOQ21561
Author name not available (Why is that?)
Cited In (23)
- Title not available (Why is that?)
- A First Step Towards a Unified Proof Checker for QBF
- Solving QBF with counterexample guided refinement
- Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN
- A Compact Representation for Syntactic Dependencies in QBFs
- Q-Resolution with Generalized Axioms
- Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers
- Nenofex: Expanding NNF for QBF Solving
- Theory and Applications of Satisfiability Testing
- Backdoor sets of quantified Boolean formulas
- Backdoors to Normality for Disjunctive Logic Programs
- Expansion-based QBF solving versus Q-resolution
- Title not available (Why is that?)
- Solving QBF with Counterexample Guided Refinement
- Quantifier elimination by dependency sequents
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- A Unified Framework for Certificate and Compilation for QBF
- Solution validation and extraction for QBF preprocessing
- Computational methods for database repair by signed formulae
- Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
- Bounded Universal Expansion for Preprocessing QBF
- From (Quantified) Boolean Formulae to Answer Set Programming
- A solver for QBFs in negation normal form
This page was built for software: QUBOS
