Computing smallest MUSes of quantified Boolean formulas (Q2694579): Difference between revisions

@@ 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/978-3-031-15707-3_23
+Normal rank
@@ Property / OpenAlex ID @@
+W4293179750
@@ Property / OpenAlex ID: W4293179750 / rank @@
+Normal rank
@@ Property / cites work @@
+A QBF-based formalization of abstract argumentation semantics
+Normal rank
@@ Property / cites work @@
+Acceptance in incomplete argumentation frameworks
@@ Property / cites work: Acceptance in incomplete argumentation frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Strong inconsistency
@@ Property / cites work: Strong inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Strong explanations for nonmonotonic reasoning
@@ Property / cites work: Strong explanations for nonmonotonic reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
+Normal rank
@@ Property / cites work @@
+Quantified maximum satisfiability
@@ Property / cites work: Quantified maximum satisfiability / 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 @@
+Experiments with Reduction Finding
@@ Property / cites work: Experiments with Reduction Finding / rank @@
+Normal rank
@@ Property / cites work @@
+Redundancy in logic. I: CNF propositional formulae
+Normal rank
@@ Property / cites work @@
+A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas
+Normal rank
@@ Property / cites work @@
+Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API
+Normal rank
@@ Property / cites work @@
+DepQBF 6.0: a search-based QBF solver beyond traditional QCDCL
+Normal rank
@@ Property / cites work @@
+Reasoning about strong inconsistency in ASP
@@ Property / cites work: Reasoning about strong inconsistency in ASP / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of facets resolved
@@ Property / cites work: The complexity of facets resolved / 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 @@
+Abduction in argumentation frameworks
@@ Property / cites work: Abduction in argumentation frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4999292
@@ Property / cites work: Q4999292 / rank @@
+Normal rank
@@ Property / cites work @@
+If Nothing Is Accepted -- Repairing Argumentation Frameworks
+Normal rank
@@ Property / cites work @@
+Handling and measuring inconsistency in non-monotonic logics
+Normal rank