Quantified maximum satisfiability
From MaRDI portal
Publication:272016
DOI10.1007/s10601-015-9195-9zbMath1334.90075OpenAlexW1726810408MaRDI QIDQ272016
Alexey Ignatiev, Mikoláš Janota, João P. Marques-Silva
Publication date: 20 April 2016
Published in: Constraints (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10601-015-9195-9
Related Items
Counting minimal unsatisfiable subsets ⋮ SAT-Based Formula Simplification ⋮ A logical encoding for \(k\)-\(m\)-realization of extensions in abstract argumentation ⋮ Computing smallest MUSes of quantified Boolean formulas ⋮ Unnamed Item ⋮ SAT-based rigorous explanations for decision lists
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- SAT-based MaxSAT algorithms
- Algorithms for computing minimal equivalent subformulas
- A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas
- A structure-preserving clause form translation
- A theory of diagnosis from first principles
- Resolution for quantified Boolean formulas
- Iterative and core-guided maxsat solving: a survey and assessment
- Unified QBF certification and its applications
- Redundancy in logic. I: CNF propositional formulae
- Algorithms for computing minimal unsatisfiable subsets of constraints
- Boolean functions as models for quantified Boolean formulas
- Solving QBF with Counterexample Guided Refinement
- Improvements to Core-Guided Binary Search for MaxSAT
- SAT-Based Preprocessing for MaxSAT
- Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving
- On QBF Proofs and Preprocessing
- Incremental QBF Solving by DepQBF
- Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency
- Faster Extraction of High-Level Minimal Unsatisfiable Cores
- Abstraction-Based Algorithm for 2QBF
- Towards efficient MUS extraction
- QBF Resolution Systems and Their Proof Complexities
- A Unified Proof System for QBF Preprocessing
- Counterexample-guided abstraction refinement for symbolic model checking
- Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits
- Solving (Weighted) Partial MaxSAT through Satisfiability Testing
- Algorithms for Weighted Boolean Optimization
- Consistent subsets of inconsistent systems: structure and behaviour
- Contributions to the Theory of Practical Quantified Boolean Formula Solving
- A Non-prenex, Non-clausal QBF Solver with Game-State Learning
- Exploiting Circuit Representations in QBF Solving
- Mathematical Foundations of Computer Science 2004
- Theory and Applications of Satisfiability Testing
- Recovering and Utilizing Partial Duality in QBF
- Quantified Maximum Satisfiability:
- Reveal: A Formal Verification Tool for Verilog Designs
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- On Solving the Partial MAX-SAT Problem
