| Publication | Date of Publication | Type |
|---|
Solving propositional satisfiability problems
Annals of Mathematics and Artificial Intelligence | 1997-06-04 | Paper |
Gainfree Leontief substitution flow problems
Mathematical Programming. Series A. Series B | 1993-06-29 | Paper |
Logic-based decision support. Mixed integer model formulation
Annals of Discrete Mathematics | 1993-06-05 | Paper |
Dynamic Programming, Integral Polyhedra and Horn Clause Knowledge Base
ORSA Journal on Computing | 1993-01-16 | Paper |
Two mixed integer programming formulations arising in manufacturing management
Discrete Applied Mathematics | 1990-01-01 | Paper |
Representability of functions
Discrete Applied Mathematics | 1989-01-01 | Paper |
A simplification for some disjunctive formulations
European Journal of Operational Research | 1988-01-01 | Paper |
Representability in mixed integer programming. I: Characterization results
Discrete Applied Mathematics | 1987-01-01 | Paper |
Some results and experiments in programming techniques for propositional logic
Computers & Operations Research | 1986-01-01 | Paper |
Computational Complexity of Some Problems in Parametric Discrete Programming. I
Mathematics of Operations Research | 1986-01-01 | Paper |
Constructive characterizations of the value function of a mixed-integer program. II
Discrete Applied Mathematics | 1985-01-01 | Paper |
Experimental Results on the New Techniques for Integer Programming Formulations
The Journal of the Operational Research Society | 1985-01-01 | Paper |
The polynomial hierarchy and a simple model for competitive analysis
Mathematical Programming | 1985-01-01 | Paper |
Cluster sets of vector series
Advances in Applied Mathematics | 1984-01-01 | Paper |
Extensions of a theorem of Balas
Discrete Applied Mathematics | 1984-01-01 | Paper |
Modelling with integer variables
Mathematical Programming Studies | 1984-01-01 | Paper |
Constructive characterizations of the value-function of a mixed-integer program. I
Discrete Applied Mathematics | 1984-01-01 | Paper |
Uniform duality in semi-infinite convex optimization
Mathematical Programming | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3818523 (Why is no real title available?) | 1983-01-01 | Paper |
A limiting infisup theorem
Journal of Optimization Theory and Applications | 1982-01-01 | Paper |
The value function of an integer program
Mathematical Programming | 1982-01-01 | Paper |
A limiting Lagrangian for infinitely-constrained convex optimization in \(\mathbb{R}^n\)
Journal of Optimization Theory and Applications | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3852794 (Why is no real title available?) | 1981-01-01 | Paper |
Lagrangean functions and affine minorants
Mathematical Programming Studies | 1981-01-01 | Paper |
An Exact Penalty Method for Mixed-Integer Programs
Mathematics of Operations Research | 1981-01-01 | Paper |
Strengthening cuts for mixed integer programs
European Journal of Operational Research | 1980-01-01 | Paper |
Representations of unbounded optimization problems as integer programs
Journal of Optimization Theory and Applications | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3677563 (Why is no real title available?) | 1980-01-01 | Paper |
A Cutting-Plane Game for Facial Disjunctive Programs
SIAM Journal on Control and Optimization | 1980-01-01 | Paper |
The value function of a mixed integer program. II
Discrete Mathematics | 1979-01-01 | Paper |
Minimal inequalities
Mathematical Programming | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3696820 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3784644 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3630144 (Why is no real title available?) | 1979-01-01 | Paper |
An Introduction to the Theory of Cutting-Planes
Discrete Optimization II, Proceedings of the Advanced Research Institute on Discrete Optimization and Systems Applications of the Systems Science Panel of NATO and of the Discrete Optimization Symposium co-sponsored by IBM Canada and SIAM Banff, Aha. and | 1979-01-01 | Paper |
A converse for disjunctive constraints
Journal of Optimization Theory and Applications | 1978-01-01 | Paper |
Cutting-plane theory: Algebraic methods
Discrete Mathematics | 1978-01-01 | Paper |
Cutting-Planes for Complementarity Constraints
SIAM Journal on Control and Optimization | 1978-01-01 | Paper |
Some Basis Theorems for Integral Monoids
Mathematics of Operations Research | 1978-01-01 | Paper |
The value function of a mixed integer program: I
Discrete Mathematics | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3559278 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3619623 (Why is no real title available?) | 1977-01-01 | Paper |
On defining sets of vertices of the hypercube by linear inequalities
Discrete Mathematics | 1975-01-01 | Paper |
Experimental logics and ^0_2-theories
Journal of Philosophical Logic | 1975-01-01 | Paper |
Experimental results on Hillier's linear search
Mathematical Programming | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3499491 (Why is no real title available?) | 1975-01-01 | Paper |
On algorithms for discrete problems
Discrete Mathematics | 1974-01-01 | Paper |
Trivial integer programs unsolvable by branch-and-bound
Mathematical Programming | 1974-01-01 | Paper |
Linear programs dependent on a single parameter
Discrete Mathematics | 1973-01-01 | Paper |
The simplex algorithm with the pivot rule of maximizing criterion improvement
Discrete Mathematics | 1973-01-01 | Paper |
Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem
Journal of Symbolic Logic | 1973-01-01 | Paper |
Asymptotic Linear Programming
Operations Research | 1973-01-01 | Paper |
There Cannot be any Algorithm for Integer Programming with Quadratic Constraints
Operations Research | 1973-01-01 | Paper |
Canonical Cuts on the Unit Hypercube
SIAM Journal on Applied Mathematics | 1972-01-01 | Paper |
Comments on Integer Hulls of Two Linear Constraints
Operations Research | 1971-01-01 | Paper |
Non‐Effectiveness in S. Orey's Arithmetical Compactness Theorem
Mathematical Logic Quarterly | 1971-01-01 | Paper |
Consistency statements in formal theories
Fundamenta Mathematicae | 1971-01-01 | Paper |
