On Improving MUS Extraction Algorithms (Q3007681): Difference between revisions

@@ 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 @@
+PicoSAT
@@ Property / describes a project that uses: PicoSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MUP
@@ Property / describes a project that uses: MUP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AMUSE
@@ Property / describes a project that uses: AMUSE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QUICKXPLAIN
@@ Property / describes a project that uses: QUICKXPLAIN / 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-642-21581-0_14
+Normal rank
@@ Property / OpenAlex ID @@
+W1769298637
@@ Property / OpenAlex ID: W1769298637 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3604000
@@ Property / cites work: Q3604000 / rank @@
+Normal rank
@@ Property / cites work @@
+On exact selection of minimally unsatisfiable subformulae
+Normal rank
@@ Property / cites work @@
+Locating Minimal Infeasible Constraint Sets in Linear Programs
+Normal rank
@@ Property / cites work @@
+A Scalable Algorithm for Minimal Unsatisfiable Core Extraction
+Normal rank
@@ Property / cites work @@
+Using heuristics to find minimal unsatisfiable subformulas in satisfiability problems
+Normal rank
@@ Property / cites work @@
+Local-search extraction of mUSes
@@ Property / cites work: Local-search extraction of mUSes / rank @@
+Normal rank
@@ Property / cites work @@
+Using local search to find MSSes and MUSes
@@ Property / cites work: Using local search to find MSSes and MUSes / rank @@
+Normal rank
@@ Property / cites work @@
+Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets
+Normal rank
@@ Property / cites work @@
+Redundancy in logic. I: CNF propositional formulae
+Normal rank
@@ Property / cites work @@
+Algorithms for computing minimal unsatisfiable subsets of constraints
+Normal rank
@@ Property / cites work @@
+Searching for Autarkies to Trim Unsatisfiable Clause Sets
+Normal rank
@@ Property / cites work @@
+Generalizing Core-Guided Max-SAT
@@ Property / cites work: Generalizing Core-Guided Max-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Finding Guaranteed MUSes Fast
@@ Property / cites work: Finding Guaranteed MUSes Fast / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3007681