Concepedia
Discrete Applied Mathematics · 1987 · 271 citations · 17 references
ComputingComputer ScienceMathematicsAlgorithmsCombinatoricsTheory Of ComputationComputational ComplexityDeductive VerificationProof ComplexityTheorem ProvingCutting Planes Proof SystemsProof Search Complexity
17
Theory of Linear and Integer Programming
Adam N. Letchford, Alexander Schrijver · Journal of the Operational Research Society · 2000 · 5.7K citations
Natural Sciences, Computer Science, Mathematics +12
A Machine-Oriented Logic Based on the Resolution Principle
John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text
Computing, Computer Science, Decision Support Systems +4
The ellipsoid method and its consequences in combinatorial optimization
Martin Grötschel, László Lovász, Alexander Schrijver · COMBINATORICA · 1981 · 2K citations
Natural Sciences, Mathematics, Algorithms +8
Integer Programming with a Fixed Number of Variables
H. W. Lenstra · Mathematics of Operations Research · 1983 · 1.4K citations
Outline of an algorithm for integer solutions to linear programs
Ralph E. Gomory · Bulletin of the American Mathematical Society · 1958 · 1.4K citations · Full text
Natural Sciences, Computer Science, Mathematics +9