Search the dblp DataBase
Robert G. Jeroslow :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Robert G. Jeroslow , Jinchang Wang Solving Propositional Satisfiability Problems. [Citation Graph (1, 0)][DBLP ] Ann. Math. Artif. Intell., 1990, v:1, n:, pp:167-187 [Journal ] Charles E. Blair , Robert G. Jeroslow , James K. Lowe Some results and experiments in programming techniques for propositional logic. [Citation Graph (0, 0)][DBLP ] Computers & OR, 1986, v:13, n:5, pp:633-645 [Journal ] Robert G. Jeroslow Redundancies in the Hilbert-Bernays Derivability Conditions for Gödel's Second Incompleteness Theorem. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1973, v:38, n:3, pp:359-367 [Journal ] Robert G. Jeroslow , Kipp Martin , Ronald L. Rardin , Jinchang Wang Gainfree Leontief substitution flow problems. [Citation Graph (0, 0)][DBLP ] Math. Program., 1992, v:57, n:, pp:375-414 [Journal ] Representability of functions. [Citation Graph (, )][DBLP ] Two mixed integer programming formulations arising in manufacturing management. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.003secs