Algorithms for computing minimal unsatisfiable subsets of constraints (Q2471741): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-007-9084-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2020169768
@@ Property / OpenAlex ID: W2020169768 / rank @@
+Normal rank
@@ Property / cites work @@
+A GRASP algorithm to solve the unicost set covering problem
+Normal rank
@@ Property / cites work @@
+Consistent subsets of inconsistent systems: structure and behaviour
+Normal rank
@@ Property / cites work @@
+Algorithms - ESA 2003
@@ Property / cites work: Algorithms - ESA 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2741521
@@ Property / cites work: Q2741521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804887
@@ Property / cites work: Q4804887 / rank @@
+Normal rank
@@ Property / cites work @@
+Locating Minimal Infeasible Constraint Sets in Linear Programs
+Normal rank
@@ Property / cites work @@
+A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
+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 @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / 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 @@
+Q4708957
@@ Property / cites work: Q4708957 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Algorithm for the Transversal Hypergraph Generation
+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 @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
+Normal rank