Linear programs for constraint satisfaction problems (Q1278588): Difference between revisions

@@ Property / cites work @@
+Q4099676
@@ Property / cites work: Q4099676 / rank @@
+Normal rank
@@ Property / cites work @@
+The Minimum Number of Edges and Vertices in a Graph with Edge Connectivity n and m n‐Bonds
+Normal rank
@@ Property / cites work @@
+Q4138187
@@ Property / cites work: Q4138187 / 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 @@
+Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Easy problems are sometimes hard
@@ Property / cites work: Easy problems are sometimes hard / rank @@
+Normal rank
@@ Property / cites work @@
+Q5666587
@@ Property / cites work: Q5666587 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving propositional satisfiability problems
@@ Property / cites work: Solving propositional satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+A new polynomial-time algorithm for linear programming
+Normal rank
@@ Property / cites work @@
+Q4142699
@@ Property / cites work: Q4142699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of constraint satisfaction
@@ Property / cites work: The logic of constraint satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+Integer programs for logic constraint satisfaction
+Normal rank
@@ Property / cites work @@
+A Human Oriented Logic for Automatic Theorem-Proving
+Normal rank
@@ Property / cites work @@
+The complexity of facets (and some facets of complexity)
+Normal rank
@@ Property / cites work @@
+Q4040299
@@ Property / cites work: Q4040299 / rank @@
+Normal rank
@@ Property / cites work @@
+The traveling salesman. Computational solutions for RSP applications
+Normal rank
@@ Property / cites work @@
+Q3992496
@@ Property / cites work: Q3992496 / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposition of regular matroids
@@ Property / cites work: Decomposition of regular matroids / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional calculus problems in CHIP
@@ Property / cites work: Propositional calculus problems in CHIP / rank @@
+Normal rank
@@ Property / cites work @@
+Integral Extreme Points
@@ Property / cites work: Integral Extreme Points / rank @@
+Normal rank
@@ Property / cites work @@
+Q4111952
@@ Property / cites work: Q4111952 / rank @@
+Normal rank
@@ Property / cites work @@
+A ``build-down'' scheme for linear programming
@@ Property / cites work: A ``build-down'' scheme for linear programming / rank @@
+Normal rank