| Publication | Date of Publication | Type |
|---|
| Solving propositional satisfiability problems | 1997-06-04 | Paper |
| Gainfree Leontief substitution flow problems | 1993-06-29 | Paper |
| Logic-based decision support. Mixed integer model formulation | 1993-06-05 | Paper |
| Dynamic Programming, Integral Polyhedra and Horn Clause Knowledge Base | 1993-01-16 | Paper |
| Two mixed integer programming formulations arising in manufacturing management | 1990-01-01 | Paper |
| Representability of functions | 1989-01-01 | Paper |
| A simplification for some disjunctive formulations | 1988-01-01 | Paper |
| Representability in mixed integer programming. I: Characterization results | 1987-01-01 | Paper |
| Some results and experiments in programming techniques for propositional logic | 1986-01-01 | Paper |
| Computational Complexity of Some Problems in Parametric Discrete Programming. I | 1986-01-01 | Paper |
| The polynomial hierarchy and a simple model for competitive analysis | 1985-01-01 | Paper |
| Experimental Results on the New Techniques for Integer Programming Formulations | 1985-01-01 | Paper |
| Constructive characterizations of the value function of a mixed-integer program. II | 1985-01-01 | Paper |
| Modelling with integer variables | 1984-01-01 | Paper |
| Constructive characterizations of the value-function of a mixed-integer program. I | 1984-01-01 | Paper |
| Extensions of a theorem of Balas | 1984-01-01 | Paper |
| Cluster sets of vector series | 1984-01-01 | Paper |
| Uniform duality in semi-infinite convex optimization | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3665778 | 1983-01-01 | Paper |
| The value function of an integer program | 1982-01-01 | Paper |
| A limiting infisup theorem | 1982-01-01 | Paper |
| An Exact Penalty Method for Mixed-Integer Programs | 1981-01-01 | Paper |
| A limiting Lagrangian for infinitely-constrained convex optimization in \(\mathbb{R}^n\) | 1981-01-01 | Paper |
| Lagrangean functions and affine minorants | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3321839 | 1981-01-01 | Paper |
| Strengthening cuts for mixed integer programs | 1980-01-01 | Paper |
| A Cutting-Plane Game for Facial Disjunctive Programs | 1980-01-01 | Paper |
| Representations of unbounded optimization problems as integer programs | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3873915 | 1980-01-01 | Paper |
| Minimal inequalities | 1979-01-01 | Paper |
| An Introduction to the Theory of Cutting-Planes | 1979-01-01 | Paper |
| The value function of a mixed integer program. II | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4191529 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3890410 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3962788 | 1979-01-01 | Paper |
| Cutting-plane theory: Algebraic methods | 1978-01-01 | Paper |
| Cutting-Planes for Complementarity Constraints | 1978-01-01 | Paper |
| Some Basis Theorems for Integral Monoids | 1978-01-01 | Paper |
| A converse for disjunctive constraints | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4132247 | 1977-01-01 | Paper |
| The value function of a mixed integer program: I | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4182257 | 1977-01-01 | Paper |
| On defining sets of vertices of the hypercube by linear inequalities | 1975-01-01 | Paper |
| Experimental logics and \(\Delta^0_2\)-theories | 1975-01-01 | Paper |
| Experimental results on Hillier's linear search | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4081003 | 1975-01-01 | Paper |
| Trivial integer programs unsolvable by branch-and-bound | 1974-01-01 | Paper |
| On algorithms for discrete problems | 1974-01-01 | Paper |
| There Cannot be any Algorithm for Integer Programming with Quadratic Constraints | 1973-01-01 | Paper |
| Asymptotic Linear Programming | 1973-01-01 | Paper |
| The simplex algorithm with the pivot rule of maximizing criterion improvement | 1973-01-01 | Paper |
| Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem | 1973-01-01 | Paper |
| Linear programs dependent on a single parameter | 1973-01-01 | Paper |
| Canonical Cuts on the Unit Hypercube | 1972-01-01 | Paper |
| Comments on Integer Hulls of Two Linear Constraints | 1971-01-01 | Paper |
| Consistency statements in formal theories | 1971-01-01 | Paper |
| Non‐Effectiveness in S. Orey's Arithmetical Compactness Theorem | 1971-01-01 | Paper |
