Robert G. Jeroslow

List of publications from the DBLP Bibliography Server - FAQ

1992

6 Robert G. Jeroslow, R. Kipp Martin, Ronald L. Rardin, Jinchang Wang: Gainfree Leontief substitution flow problems. Math. Program. 57: 375-414 (1992)

1990

5 Robert G. Jeroslow, Jinchang Wang: Solving Propositional Satisfiability Problems. Ann. Math. Artif. Intell. 1: 167-187 (1990)

4 EE Robert G. Jeroslow: Two mixed integer programming formulations arising in manufacturing management. Discrete Applied Mathematics 26(2-3): 137-157 (1990)

1989

3 EE Robert G. Jeroslow: Representability of functions. Discrete Applied Mathematics 23(2): 125-137 (1989)

1986

2 EE Charles E. Blair, Robert G. Jeroslow, James K. Lowe: Some results and experiments in programming techniques for propositional logic. Computers & OR 13(5): 633-645 (1986)

1973

1 Robert G. Jeroslow: Redundancies in the Hilbert-Bernays Derivability Conditions for Gödel's Second Incompleteness Theorem. J. Symb. Log. 38(3): 359-367 (1973)

1992
6		Robert G. Jeroslow, R. Kipp Martin, Ronald L. Rardin, Jinchang Wang: Gainfree Leontief substitution flow problems. Math. Program. 57: 375-414 (1992)
1990
5		Robert G. Jeroslow, Jinchang Wang: Solving Propositional Satisfiability Problems. Ann. Math. Artif. Intell. 1: 167-187 (1990)
4	EE	Robert G. Jeroslow: Two mixed integer programming formulations arising in manufacturing management. Discrete Applied Mathematics 26(2-3): 137-157 (1990)
1989
3	EE	Robert G. Jeroslow: Representability of functions. Discrete Applied Mathematics 23(2): 125-137 (1989)
1986
2	EE	Charles E. Blair, Robert G. Jeroslow, James K. Lowe: Some results and experiments in programming techniques for propositional logic. Computers & OR 13(5): 633-645 (1986)
1973
1		Robert G. Jeroslow: Redundancies in the Hilbert-Bernays Derivability Conditions for Gödel's Second Incompleteness Theorem. J. Symb. Log. 38(3): 359-367 (1973)

Coauthor Index