Robert G. Jeroslow

Available identifiers

zbMath Open jeroslow.robert-gMaRDI QIDQ1104855

List of research outcomes

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
Constructive characterizations of the value function of a mixed-integer program. II	1985-01-01	Paper
Experimental Results on the New Techniques for Integer Programming Formulations	1985-01-01	Paper
The polynomial hierarchy and a simple model for competitive analysis	1985-01-01	Paper
Constructive characterizations of the value-function of a mixed-integer program. I	1984-01-01	Paper
Cluster sets of vector series	1984-01-01	Paper
Extensions of a theorem of Balas	1984-01-01	Paper
Modelling with integer variables	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
A limiting infisup theorem	1982-01-01	Paper
The value function of an integer program	1982-01-01	Paper
A limiting Lagrangian for infinitely-constrained convex optimization in \(\mathbb{R}^n\)	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3321839	1981-01-01	Paper
Lagrangean functions and affine minorants	1981-01-01	Paper
An Exact Penalty Method for Mixed-Integer Programs	1981-01-01	Paper
Strengthening cuts for mixed integer 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
A Cutting-Plane Game for Facial Disjunctive Programs	1980-01-01	Paper
The value function of a mixed integer program. II	1979-01-01	Paper
Minimal inequalities	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3890410	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3962788	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4191529	1979-01-01	Paper
An Introduction to the Theory of Cutting-Planes	1979-01-01	Paper
A converse for disjunctive constraints	1978-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
The value function of a mixed integer program: I	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4132247	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
On algorithms for discrete problems	1974-01-01	Paper
Trivial integer programs unsolvable by branch-and-bound	1974-01-01	Paper
Linear programs dependent on a single parameter	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
Asymptotic Linear Programming	1973-01-01	Paper
There Cannot be any Algorithm for Integer Programming with Quadratic Constraints	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
Non‐Effectiveness in S. Orey's Arithmetical Compactness Theorem	1971-01-01	Paper
Consistency statements in formal theories	1971-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Robert G. Jeroslow