Local-search extraction of mUSes (Q2385174): Difference between revisions

@@ Property / DOI @@
-.1007/s10601-007-9019-7
@@ Property / DOI: 10.1007/s10601-007-9019-7 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+MUP
@@ Property / describes a project that uses: MUP / 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-007-9019-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2073776354
@@ Property / OpenAlex ID: W2073776354 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q126254226
@@ Property / Wikidata QID: Q126254226 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2738997
@@ Property / cites work: Q2738997 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating minimal unsatisfiable subformulae by means of adaptive core search
+Normal rank
@@ Property / cites work @@
+On exact selection of minimally unsatisfiable subformulae
+Normal rank
@@ Property / cites work @@
+On subclasses of minimal unsatisfiable formulas
@@ Property / cites work: On subclasses of minimal unsatisfiable formulas / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF
+Normal rank
@@ Property / cites work @@
+On the complexity of propositional knowledge base revision, updates, and counterfactuals
+Normal rank
@@ Property / cites work @@
+Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference.
+Normal rank
@@ Property / cites work @@
+Q4409859
@@ Property / cites work: Q4409859 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel
+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 @@
+Boosting complete techniques thanks to local search methods
+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 @@
+The complexity of facets resolved
@@ Property / cites work: The complexity of facets resolved / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10601-007-9019-7
@@ Property / DOI: 10.1007/S10601-007-9019-7 / rank @@
+Normal rank