Projecting systems of linear inequalities with binary variables (Q646699): Difference between revisions

@@ Property / cites work @@
+Disjunctive Programming
@@ Property / cites work: Disjunctive Programming / rank @@
+Normal rank
@@ Property / cites work @@
+On the convex hull of the union of certain polyhedra
+Normal rank
@@ Property / cites work @@
+On the dimension of projected polyhedra
@@ Property / cites work: On the dimension of projected polyhedra / rank @@
+Normal rank
@@ Property / cites work @@
+The perfectly matchable subgraph polytope of a bipartite graph
+Normal rank
@@ Property / cites work @@
+The perfectly matchable subgraph polytope of an arbitrary graph
+Normal rank
@@ Property / cites work @@
+A lift-and-project cutting plane algorithm for mixed 0-1 programs
+Normal rank
@@ Property / cites work @@
+Subset Algebra Lift Operators for 0-1 Integer Programming
+Normal rank
@@ Property / cites work @@
+Representation for multiple right-hand sides
@@ Property / cites work: Representation for multiple right-hand sides / rank @@
+Normal rank
@@ Property / cites work @@
+Some results and experiments in programming techniques for propositional logic
+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 @@
+Generalized resolution for 0--1 linear inequalities
+Normal rank
@@ Property / cites work @@
+Q4202942
@@ Property / cites work: Q4202942 / rank @@
+Normal rank
@@ Property / cites work @@
+A simplification for some disjunctive formulations
+Normal rank
@@ Property / cites work @@
+Cones of Matrices and Set-Functions and 0–1 Optimization
+Normal rank
@@ Property / cites work @@
+Production Planning by Mixed Integer Programming
@@ Property / cites work: Production Planning by Mixed Integer Programming / rank @@
+Normal rank
@@ Property / cites work @@
+The Problem of Simplifying Truth Functions
@@ Property / cites work: The Problem of Simplifying Truth Functions / rank @@
+Normal rank
@@ Property / cites work @@
+A Hierarchy of Relaxations between the Continuous and Convex Hull Representations for Zero-One Programming Problems
+Normal rank
@@ Property / cites work @@
+Fourier-Motzkin elimination extension to integer programming problems
+Normal rank