A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas (Q1037642): Difference between revisions

@@ Property / author @@
+Mark H. Liffiton
@@ Property / author: Mark H. Liffiton / rank @@
+Normal rank
@@ Property / author @@
+João P. Marques-Silva
@@ Property / author: João P. Marques-Silva / rank @@
+Normal rank
@@ Property / author @@
+Karem A. Sakallah
@@ Property / author: Karem A. Sakallah / 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 @@
+CEGAR
@@ Property / describes a project that uses: CEGAR / 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 / 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-008-9058-8
+Normal rank
@@ Property / OpenAlex ID @@
+W1966998067
@@ Property / OpenAlex ID: W1966998067 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal non-two-colorable hypergraphs and minimal unsatisfiable formulas
+Normal rank
@@ Property / cites work @@
+Consistent subsets of inconsistent systems: structure and behaviour
+Normal rank
@@ Property / cites work @@
+Q2741521
@@ Property / cites work: Q2741521 / rank @@
+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 @@
+Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
+Normal rank
@@ Property / cites work @@
+An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF
+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 @@
+Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference.
+Normal rank
@@ Property / cites work @@
+Local-search extraction of mUSes
@@ Property / cites work: Local-search extraction of mUSes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4888830
@@ Property / cites work: Q4888830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4326390
@@ Property / cites work: Q4326390 / 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 @@
+Algorithms for computing minimal unsatisfiable subsets of constraints
+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 / cites work @@
+Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractable
+Normal rank