Quantified maximum satisfiability (Q272016): Difference between revisions

@@ Property / DOI @@
-.1007/s10601-015-9195-9
@@ Property / DOI: 10.1007/s10601-015-9195-9 / rank @@
-Normal rank
@@ Property / author @@
-João P. Marques-Silva
@@ Property / author: João P. Marques-Silva / rank @@
-Normal rank
@@ Property / author @@
+João P. Marques-Silva
@@ Property / author: João P. Marques-Silva / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sat4j
@@ Property / describes a project that uses: Sat4j / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RAReQS
@@ Property / describes a project that uses: RAReQS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Reveal
@@ Property / describes a project that uses: Reveal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Quaffle
@@ Property / describes a project that uses: Quaffle / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10601-015-9195-9
+Normal rank
@@ Property / OpenAlex ID @@
+W1726810408
@@ Property / OpenAlex ID: W1726810408 / rank @@
+Normal rank
@@ Property / cites work @@
+Reveal: A Formal Verification Tool for Verilog Designs
+Normal rank
@@ Property / cites work @@
+Solving (Weighted) Partial MaxSAT through Satisfiability Testing
+Normal rank
@@ Property / cites work @@
+SAT-based MaxSAT algorithms
@@ Property / cites work: SAT-based MaxSAT algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution for quantified Boolean formulas
@@ Property / cites work: Resolution for quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Redundancy in logic. I: CNF propositional formulae
+Normal rank
@@ Property / cites work @@
+Unified QBF certification and its applications
@@ Property / cites work: Unified QBF certification and its applications / rank @@
+Normal rank
@@ Property / cites work @@
+QBF Resolution Systems and Their Proof Complexities
+Normal rank
@@ Property / cites work @@
+Algorithms for computing minimal equivalent subformulas
+Normal rank
@@ Property / cites work @@
+Towards efficient MUS extraction
@@ Property / cites work: Towards efficient MUS extraction / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-Based Preprocessing for MaxSAT
@@ Property / cites work: SAT-Based Preprocessing for MaxSAT / rank @@
+Normal rank
@@ Property / cites work @@
+Consistent subsets of inconsistent systems: structure and behaviour
+Normal rank
@@ Property / cites work @@
+Iterative and core-guided maxsat solving: a survey and assessment
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2004
@@ Property / cites work: Mathematical Foundations of Computer Science 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+Q4259979
@@ Property / cites work: Q4259979 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving
+Normal rank
@@ Property / cites work @@
+On Solving the Partial MAX-SAT Problem
@@ Property / cites work: On Solving the Partial MAX-SAT Problem / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of diagnosis from first principles
@@ Property / cites work: A theory of diagnosis from first principles / rank @@
+Normal rank
@@ Property / cites work @@
+Exploiting Circuit Representations in QBF Solving
@@ Property / cites work: Exploiting Circuit Representations in QBF Solving / rank @@
+Normal rank
@@ Property / cites work @@
+Recovering and Utilizing Partial Duality in QBF
@@ Property / cites work: Recovering and Utilizing Partial Duality in QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Improvements to Core-Guided Binary Search for MaxSAT
+Normal rank
@@ Property / cites work @@
+A Unified Proof System for QBF Preprocessing
@@ Property / cites work: A Unified Proof System for QBF Preprocessing / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified Maximum Satisfiability:
@@ Property / cites work: Quantified Maximum Satisfiability: / rank @@
+Normal rank
@@ Property / cites work @@
+Q5283008
@@ Property / cites work: Q5283008 / rank @@
+Normal rank
@@ Property / cites work @@
+On QBF Proofs and Preprocessing
@@ Property / cites work: On QBF Proofs and Preprocessing / rank @@
+Normal rank
@@ Property / cites work @@
+Solving QBF with Counterexample Guided Refinement
@@ Property / cites work: Solving QBF with Counterexample Guided Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction-Based Algorithm for 2QBF
@@ Property / cites work: Abstraction-Based Algorithm for 2QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits
+Normal rank
@@ Property / cites work @@
+Boolean functions as models for quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+A Non-prenex, Non-clausal QBF Solver with Game-State Learning
+Normal rank
@@ Property / cites work @@
+Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency
+Normal rank
@@ Property / cites work @@
+A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for computing minimal unsatisfiable subsets of constraints
+Normal rank
@@ Property / cites work @@
+Incremental QBF Solving by DepQBF
@@ Property / cites work: Incremental QBF Solving by DepQBF / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for Weighted Boolean Optimization
@@ Property / cites work: Algorithms for Weighted Boolean Optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+A structure-preserving clause form translation
@@ Property / cites work: A structure-preserving clause form translation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Faster Extraction of High-Level Minimal Unsatisfiable Cores
+Normal rank
@@ Property / cites work @@
+Contributions to the Theory of Practical Quantified Boolean Formula Solving
+Normal rank
@@ Property / DOI @@
+.1007/S10601-015-9195-9
@@ Property / DOI: 10.1007/S10601-015-9195-9 / rank @@
+Normal rank