A New Approach to Partial MUS Enumeration (Q3453242): Difference between revisions

@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / 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/978-3-319-24318-4_28
+Normal rank
@@ Property / OpenAlex ID @@
+W2260113441
@@ Property / OpenAlex ID: W2260113441 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards efficient MUS extraction
@@ Property / cites work: Towards efficient MUS extraction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3194802
@@ Property / cites work: Q3194802 / rank @@
+Normal rank
@@ Property / cites work @@
+Consistent subsets of inconsistent systems: structure and behaviour
+Normal rank
@@ Property / cites work @@
+Locating Minimal Infeasible Constraint Sets in Linear Programs
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Diagnosing multiple faults
@@ Property / cites work: Diagnosing multiple faults / rank @@
+Normal rank
@@ Property / cites work @@
+Using heuristics to find minimal unsatisfiable subformulas in satisfiability problems
+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 @@
+On Solving the Partial MAX-SAT Problem
@@ Property / cites work: On Solving the Partial MAX-SAT Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Approaches to Diagnosing Infeasible Linear Programs
+Normal rank
@@ Property / cites work @@
+A theory of measurement in diagnosis from first principles
+Normal rank
@@ Property / cites work @@
+An Efficient Algorithm for the Transversal Hypergraph Generation
+Normal rank
@@ Property / cites work @@
+Enumerating Infeasibility: Finding Multiple MUSes Quickly
+Normal rank
@@ Property / cites work @@
+Algorithms for computing minimal unsatisfiable subsets of constraints
+Normal rank
@@ Property / cites work @@
+Generalizing Core-Guided Max-SAT
@@ Property / cites work: Generalizing Core-Guided Max-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Irreducibly inconsistent systems of linear inequalities
+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