Logic applied to integer programming and integer programming applied to logic (Q1130078): Difference between revisions

@@ Property / cites work @@
+Facets of the knapsack polytope
@@ Property / cites work: Facets of the knapsack polytope / rank @@
+Normal rank
@@ Property / cites work @@
+On the Set-Covering Problem: II. An Algorithm for Set Partitioning
+Normal rank
@@ Property / cites work @@
+Some results and experiments in programming techniques for propositional logic
+Normal rank
@@ Property / cites work @@
+Extended Horn sets in propositional logic
@@ Property / cites work: Extended Horn sets in propositional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Edmonds polytopes and a hierarchy of combinatorial problems
+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 @@
+Algorithms for testing the satisfiability of propositional formulae
+Normal rank
@@ Property / cites work @@
+Q5668612
@@ Property / cites work: Q5668612 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools for reformulating logical forms into zero-one mixed integer programs
+Normal rank
@@ Property / cites work @@
+Solving the incremental satisfiability problem
@@ Property / cites work: Solving the incremental satisfiability problem / rank @@
+Normal rank
@@ Property / cites work @@
+Input Proofs and Rank One Cutting Planes
@@ Property / cites work: Input Proofs and Rank One Cutting Planes / rank @@
+Normal rank
@@ Property / cites work @@
+Logic-based decision support. Mixed integer model formulation
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing integer programming models by the predicate calculus
+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 Way to Simplify Truth Functions
@@ Property / cites work: A Way to Simplify Truth Functions / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q5591533
@@ Property / cites work: Q5591533 / rank @@
+Normal rank
@@ Property / cites work @@
+Fourier-Motzkin elimination extension to integer programming problems
+Normal rank
@@ Property / cites work @@
+Fourier's Method of Linear Programming and Its Dual
+Normal rank
@@ Property / cites work @@
+The Elimination of Integer Variables
@@ Property / cites work: The Elimination of Integer Variables / rank @@
+Normal rank