dblp.uni-trier.dewww.uni-trier.de

Robert G. Jeroslow Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1992
7 Robert G. Jeroslow, R. Kipp Martin, Ronald L. Rardin, Jinchang Wang: Gainfree Leontief substitution flow problems. Math. Program. 57: 375-414 (1992)
1990
6 Robert G. Jeroslow, Jinchang Wang: Solving Propositional Satisfiability Problems. Ann. Math. Artif. Intell. 1: 167-187 (1990)
5EERobert G. Jeroslow: Two mixed integer programming formulations arising in manufacturing management. Discrete Applied Mathematics 26(2-3): 137-157 (1990)
1989
4EERobert G. Jeroslow: Representability of functions. Discrete Applied Mathematics 23(2): 125-137 (1989)
3EERobert G. Jeroslow, Jinchang Wang: Dynamic Programming, Integral Polyhedra and Horn Clause Knowledge Base. INFORMS Journal on Computing 1(1): 7-19 (1989)
1986
2EECharles 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

1Charles E. Blair [2]
2James K. Lowe [2]
3R. Kipp Martin [7]
4Ronald L. Rardin [7]
5Jinchang Wang [3] [6] [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)