Edit Profile (opens in new tab) Gilmore, Paul C. Co-Author Distance Author ID: gilmore.paul-c Published as: Gilmore, P. C.; Gilmore, Paul C.; Gilmore, P. more...less Documents Indexed: 36 Publications since 1953, including 1 Book 1 Contribution as Editor · 2 Further Contributions Co-Authors: 8 Co-Authors with 13 Joint Publications 283 Co-Co-Authors all top 5 Co-Authors 23 single-authored 6 Gomory, Ralph E. 2 Kelley, Carl T. 2 Robinson, Abraham 2 Tsiknis, George K. 1 Aczel, Peter 1 Barendregt, Hendrik Pieter 1 Beth, Evert Willem 1 Böhm, Corrado 1 Bunder, Martin W. 1 Carson, Daniel F. 1 Coppo, Mario 1 Davis, Martin David 1 Davydov, G. V. 1 de Bruijn, Nicolaas Govert 1 Dezani-Ciancaglini, Mariangiola 1 Diller, Justus 1 Dunham, Bradford 1 Feferman, Solomon 1 Fitch, Frederic Brenton 1 Fridshal, R. 1 Gandy, Robin O. 1 Gelernter, Herbert L. 1 Hindley, J. Roger 1 Hoffman, Alan J. 1 Howard, William Alvin 1 Kanger, Stig 1 Kearns, John T. 1 Klop, Jan Willem 1 Koymans, Karst 1 Kuzichev, Alexander Sergeevich 1 Lambek, Joachim 1 Lawler, Eugene Leighton 1 Levy, Jean-Jacques 1 Logemann, George 1 Longo, Giuseppe 1 Loveland, Donald W. 1 Martin, Donald A. 1 Maslov, S. Yu. 1 Meltzer, Bernard 1 Mendelson, Elliott 1 Meredith, David 1 Miller, Cass T. 1 Mints, Grigoriĭ Efroimovich 1 Mitschke, Gerd 1 Newell, Allen 1 North, J. H. 1 Orevkov, V. P. 1 Plotkin, Gordon D. 1 Pottinger, Garrel 1 Prawitz, Dag 1 Prawitz, Hakan 1 Putnam, Hilary Whitehall 1 Robinson, George A. 1 Robinson, John Alan 1 Sanchis, Luis Elpidio 1 Scott, Dana Stewart 1 Seldin, Jonathan P. 1 Shanin, Nikolaĭ Aleksandrovich 1 Shaw, Jiin-Chang 1 Shmoys, David B. 1 Siekmann, Jörg H. 1 Simon, Herbert Alexander 1 Slisenko, A. O. 1 Statman, Richard 1 Sward, G. L. 1 Veneri, B. 1 Visser, Albert 1 Voghera, N. 1 Wadsworth, Christopher P. 1 Wang, Hao 1 Wos, Lawrence Thomas 1 Wrightson, Graham all top 5 Serials 5 Operations Research 4 The Journal of Symbolic Logic 2 Canadian Journal of Mathematics 2 Canadian Mathematical Bulletin 2 Compositio Mathematica 2 Theoretical Computer Science 1 Artificial Intelligence 1 The Mathematical Intelligencer 1 Information Sciences 1 IBM Journal of Research and Development 1 Proceedings of the National Academy of Sciences of the United States of America 1 SIAM Journal on Optimization 1 Journal of the Society for Industrial & Applied Mathematics 1 Lecture Notes in Logic 1 Nederlandse Akademie van Wetenschappen. Proceedings. Series A. Indagationes Mathematicae all top 5 Fields 16 Mathematical logic and foundations (03-XX) 5 Computer science (68-XX) 4 Operations research, mathematical programming (90-XX) 3 Category theory; homological algebra (18-XX) 2 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Numerical analysis (65-XX) 1 Mechanics of deformable solids (74-XX) 1 Statistical mechanics, structure of matter (82-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 29 Publications have been cited 1,705 times in 1,330 Documents Cited by ▼ Year ▼ A linear programming approach to the cutting-stock problem. Zbl 0096.35501 Gilmore, P. C.; Gomory, R. E. 417 1961 A characterization of comparability graphs and of interval graphs. Zbl 0121.26003 Gilmore, P. C.; Hoffman, A. J. 276 1964 A linear programming approach to the cutting stock problem. II. Zbl 0124.36307 Gilmore, P. C.; Gomory, R. E. 238 1963 Multistage cutting stock problems of two and more dimensions. Zbl 0128.39601 Gilmore, P. C.; Gomory, R. E. 187 1965 Sequencing a one state-variable machine: a solvable case of the traveling salesman problem. Zbl 0126.36006 Gilmore, P.; Gomory, R. 160 1964 To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006 155 1980 The theory and computation of knapsack functions. Zbl 0173.21502 Gilmore, P. C.; Gomory, R. E. 150 1967 Optimal and suboptimal algorithms for the quadratic assignment problem. Zbl 0118.15101 Gilmore, P. C. 103 1962 Well-solved special cases. Zbl 0631.90081 Gilmore, P. C.; Lawler, E. L.; Shmoys, D. B. 79 1985 An implicit filtering algorithm for optimization of functions with many local minima. Zbl 0828.65064 Gilmore, P.; Kelley, C. T. 35 1995 The consistency of partial set theory without extensionality. Zbl 0309.02065 Gilmore, P. C. 24 1974 A proof method for quantification theory: Its justification and realization. Zbl 0097.00301 Gilmore, P. C. 21 1960 Automation of reasoning. 1: Classical papers on computational logic 1957–1966. Zbl 0567.03001 14 1983 An examination of the geometry theorem machine. Zbl 0205.31602 Gilmore, P. C. 8 1970 Natural deduction based set theories: A new resolution of the old paradoxes. Zbl 0627.03038 Gilmore, Paul C. 8 1986 Metamathematical considerations on the relative irreducibility of polynomials. Zbl 0066.26902 Gilmore, P. C.; Robinson, A. 8 1955 Cutting stock, linear programming, knapsacking, dynamic programming and integer programming, some interconnections. Zbl 0409.90062 Gilmore, Paul C. 6 1979 Implicit filtering and optimal design problems. Zbl 0821.73040 Gilmore, P.; Kelley, C. T.; Miller, C. T.; Williams, G. A. 3 1995 An addition to ‘Logic of many-sorted theories’. Zbl 0149.24502 Gilmore, P. C. 3 1958 A solvable case of the traveling salesman problem. Zbl 0116.25001 Gilmore, P. C.; Gomory, R. E. 3 1964 A logic for category theory. Zbl 0791.18002 Gilmore, Paul C.; Tsiknis, George K. 3 1993 The effect of Griss’ criticism of the intuitionistic logic on deductive theories formalized within the intuitionistic logic. I, II. Zbl 0053.34105 Gilmore, P. C. 3 1953 Logic, sets, and mathematics. Zbl 0780.03022 Gilmore, Paul C. 2 1993 Attributes, sets, partial sets and identity. Zbl 0182.32803 Gilmore, P. C. 1 1968 Logicism renewed. Logical foundations for mathematics and computer science. Zbl 1093.03002 Gilmore, Paul C. 1 2005 The monadic theory of types in the lower predicate calculus. Zbl 0178.31001 Gilmore, P. C. 1 1960 An intensional type theory: Motivation and cut-elimination. Zbl 0980.03007 Gilmore, Paul C. 1 2001 A solvable case of the travelling salesman problem. Zbl 0158.18801 Gilmore, P. C. 1 1966 Logical foundations for programming semantics. Zbl 0786.03021 Gilmore, Paul C.; Tsiknis, George K. 1 1993 Logicism renewed. Logical foundations for mathematics and computer science. Zbl 1093.03002 Gilmore, Paul C. 1 2005 An intensional type theory: Motivation and cut-elimination. Zbl 0980.03007 Gilmore, Paul C. 1 2001 An implicit filtering algorithm for optimization of functions with many local minima. Zbl 0828.65064 Gilmore, P.; Kelley, C. T. 35 1995 Implicit filtering and optimal design problems. Zbl 0821.73040 Gilmore, P.; Kelley, C. T.; Miller, C. T.; Williams, G. A. 3 1995 A logic for category theory. Zbl 0791.18002 Gilmore, Paul C.; Tsiknis, George K. 3 1993 Logic, sets, and mathematics. Zbl 0780.03022 Gilmore, Paul C. 2 1993 Logical foundations for programming semantics. Zbl 0786.03021 Gilmore, Paul C.; Tsiknis, George K. 1 1993 Natural deduction based set theories: A new resolution of the old paradoxes. Zbl 0627.03038 Gilmore, Paul C. 8 1986 Well-solved special cases. Zbl 0631.90081 Gilmore, P. C.; Lawler, E. L.; Shmoys, D. B. 79 1985 Automation of reasoning. 1: Classical papers on computational logic 1957–1966. Zbl 0567.03001 14 1983 To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006 155 1980 Cutting stock, linear programming, knapsacking, dynamic programming and integer programming, some interconnections. Zbl 0409.90062 Gilmore, Paul C. 6 1979 The consistency of partial set theory without extensionality. Zbl 0309.02065 Gilmore, P. C. 24 1974 An examination of the geometry theorem machine. Zbl 0205.31602 Gilmore, P. C. 8 1970 Attributes, sets, partial sets and identity. Zbl 0182.32803 Gilmore, P. C. 1 1968 The theory and computation of knapsack functions. Zbl 0173.21502 Gilmore, P. C.; Gomory, R. E. 150 1967 A solvable case of the travelling salesman problem. Zbl 0158.18801 Gilmore, P. C. 1 1966 Multistage cutting stock problems of two and more dimensions. Zbl 0128.39601 Gilmore, P. C.; Gomory, R. E. 187 1965 A characterization of comparability graphs and of interval graphs. Zbl 0121.26003 Gilmore, P. C.; Hoffman, A. J. 276 1964 Sequencing a one state-variable machine: a solvable case of the traveling salesman problem. Zbl 0126.36006 Gilmore, P.; Gomory, R. 160 1964 A solvable case of the traveling salesman problem. Zbl 0116.25001 Gilmore, P. C.; Gomory, R. E. 3 1964 A linear programming approach to the cutting stock problem. II. Zbl 0124.36307 Gilmore, P. C.; Gomory, R. E. 238 1963 Optimal and suboptimal algorithms for the quadratic assignment problem. Zbl 0118.15101 Gilmore, P. C. 103 1962 A linear programming approach to the cutting-stock problem. Zbl 0096.35501 Gilmore, P. C.; Gomory, R. E. 417 1961 A proof method for quantification theory: Its justification and realization. Zbl 0097.00301 Gilmore, P. C. 21 1960 The monadic theory of types in the lower predicate calculus. Zbl 0178.31001 Gilmore, P. C. 1 1960 An addition to ‘Logic of many-sorted theories’. Zbl 0149.24502 Gilmore, P. C. 3 1958 Metamathematical considerations on the relative irreducibility of polynomials. Zbl 0066.26902 Gilmore, P. C.; Robinson, A. 8 1955 The effect of Griss’ criticism of the intuitionistic logic on deductive theories formalized within the intuitionistic logic. I, II. Zbl 0053.34105 Gilmore, P. C. 3 1953 all cited Publications top 5 cited Publications all top 5 Cited by 1,998 Authors 25 Scheithauer, Guntram 18 Woeginger, Gerhard 16 Iori, Manuel 15 Arenales, Marcos Nereu 15 Cui, Yaodong 14 Deĭneko, Vladimir G. 14 Martinovic, John 13 Hifi, Mhand 13 Valério de Carvalho, José Manuel 13 Yanasse, Horacio Hideki 12 Burkard, Rainer E. 12 Morabito, Reinaldo 12 Sriskandarajah, Chelliah 9 Boysen, Nils 9 Jansen, Klaus 9 Punnen, Abraham P. 8 Alves, Cláudio 8 Cherri, Adriana Cristina 8 de Araujo, Silvio Alexandre 8 Fishburn, Peter Clingerman 8 Hanafi, Saïd 8 Malucelli, Federico 8 Martello, Silvano 8 Toth, Paolo 8 Wäscher, Gerhard 7 Clautiaux, François 7 Desaulniers, Guy 7 Farley, Alan A. 7 Fréville, Arnaud 7 Golumbic, Martin Charles 7 Gradišar, Miro 7 Huang, Jing 7 Ibaraki, Toshihide 7 Klinz, Bettina 7 Miyazawa, Flavio Keidi 7 Monaci, Michele 7 Poldi, Kelly Cristina 7 Roberts, Fred S. 7 Terno, Johannes 6 Cheng, Tai-Chiu Edwin 6 Dell’Amico, Mauro 6 Desrosiers, Jacques 6 Drezner, Zvi 6 Gavril, Fanica 6 Hell, Pavol 6 Kartak, Vadim Mikhaĭlovich 6 Knust, Sigrid 6 Prokopyev, Oleg Alexan 6 Raidl, Günther R. 6 Schaefer, Andrew J. 6 Szwarcfiter, Jayme Luiz 6 Trotter, William T. jun. 5 Arbib, Claudio 5 Briskorn, Dirk 5 Caprara, Alberto 5 Çela, Eranda 5 Furini, Fabio 5 Gilmore, Paul C. 5 Habib, Michel 5 Haessler, Robert W. 5 Hahn, Peter M. 5 Irnich, Stefan 5 Kabadi, Santosh Narayan 5 Kaku, Bharat K. 5 Kratochvíl, Jan 5 Lodi, Andrea 5 Malaguti, Enrico 5 Marinelli, Fabrizio 5 Martin, Mateus 5 Munari, Pedro Augusto 5 Olariu, Stephan 5 Puchinger, Jakob 5 Ripatti, Artëm Valer’evich 5 Rostami, Borzou 5 Sotirov, Renata 5 van der Veen, Jack A. A. 5 Waldherr, Stefan 5 Yagiura, Mutsunori 4 Agnetis, Alessandro 4 Birx, Alexander 4 Crama, Yves 4 de Figueiredo, Celina M. Herrera 4 de Lima, Vinícius Loti 4 Delorme, Maxence 4 Disser, Yann 4 Griggs, Jerrold R. 4 Groshaus, Marina E. 4 Hansen, Pierre 4 Heggernes, Pinar 4 Hoto, Robinson Samuel Vieira 4 Kalczynski, Pawel Jan 4 Kouvelis, Panagiotis 4 Leao, Aline Aparecida Souza 4 Maculan Filho, Nelson 4 Onn, Shmuel 4 Otachi, Yota 4 Pedroso, João Pedro 4 Pisinger, David 4 Resinovič, Gortan 4 Rietz, Jürgen ...and 1,898 more Authors all top 5 Cited in 181 Serials 273 European Journal of Operational Research 114 Computers & Operations Research 87 Discrete Applied Mathematics 43 Discrete Mathematics 39 Annals of Operations Research 32 Theoretical Computer Science 28 Operations Research Letters 25 International Journal of Production Research 24 Mathematical Programming. Series A. Series B 24 Journal of Scheduling 21 International Transactions in Operational Research 20 Information Processing Letters 17 Journal of Combinatorial Optimization 15 Journal of Graph Theory 14 Networks 14 INFORMS Journal on Computing 14 OR Spectrum 14 Discrete Optimization 12 Artificial Intelligence 12 Mathematical Programming 11 Algorithmica 11 Mathematical and Computer Modelling 11 Optimization Letters 10 Journal of Combinatorial Theory. Series B 10 Journal of Global Optimization 10 Applied Mathematical Modelling 7 Information Sciences 7 Journal of Mathematical Psychology 7 Naval Research Logistics 7 Optimization 7 Linear Algebra and its Applications 7 Computational Optimization and Applications 7 Top 7 Journal of Heuristics 6 Computers & Mathematics with Applications 6 RAIRO. Operations Research 5 Applied Mathematics and Computation 5 Computing 5 Journal of Computer and System Sciences 5 Journal of Philosophical Logic 5 Studia Logica 5 OR Spektrum 5 Order 5 Journal of Automated Reasoning 5 Asia-Pacific Journal of Operational Research 5 Applied Mathematics Letters 5 SIAM Journal on Discrete Mathematics 5 Mathematical Methods of Operations Research 4 Journal of Mathematical Analysis and Applications 4 The Journal of Symbolic Logic 4 Operations Research 4 Transactions of the American Mathematical Society 4 SIAM Journal on Algebraic and Discrete Methods 4 Information and Computation 4 CEJOR. Central European Journal of Operations Research 4 4OR 4 EURO Journal on Computational Optimization 3 BIT 3 Journal of Computational and Applied Mathematics 3 Journal of Optimization Theory and Applications 3 Mathematics of Operations Research 3 European Journal of Combinatorics 3 Combinatorica 3 International Journal of Computer Mathematics 3 Zeitschrift für Operations Research. Serie A: Theorie 3 ZOR. Zeitschrift für Operations Research 3 Cybernetics and Systems Analysis 3 Theory of Computing Systems 3 Optimization Methods & Software 3 JMMA. Journal of Mathematical Modelling and Algorithms 3 Bulletin of the American Mathematical Society 3 Pesquisa Operacional 3 Mathematical Programming Computation 2 Acta Informatica 2 Acta Mathematica Academiae Scientiarum Hungaricae 2 International Journal of Mathematical Education in Science and Technology 2 Israel Journal of Mathematics 2 Journal of the Franklin Institute 2 Czechoslovak Mathematical Journal 2 Fuzzy Sets and Systems 2 Journal of Soviet Mathematics 2 Mathematische Nachrichten 2 Notre Dame Journal of Formal Logic 2 Proceedings of the American Mathematical Society 2 Trabajos de Estadistica y de Investigacion Operativa 2 Cybernetics 2 Journal of Information & Optimization Sciences 2 Mathematical Social Sciences 2 Acta Mathematicae Applicatae Sinica. English Series 2 Graphs and Combinatorics 2 Trabajos de Investigacion Operativa 2 Journal of Applied Non-Classical Logics 2 Computational and Applied Mathematics 2 The Electronic Journal of Combinatorics 2 Constraints 2 Logic and Logical Philosophy 2 Journal of Discrete Algorithms 2 Proceedings of the Japan Academy 2 Diskretnyĭ Analiz i Issledovanie Operatsiĭ 2 SN Operations Research Forum ...and 81 more Serials all top 5 Cited in 35 Fields 959 Operations research, mathematical programming (90-XX) 258 Combinatorics (05-XX) 251 Computer science (68-XX) 73 Numerical analysis (65-XX) 43 Mathematical logic and foundations (03-XX) 38 Order, lattices, ordered algebraic structures (06-XX) 29 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 13 Calculus of variations and optimal control; optimization (49-XX) 13 Convex and discrete geometry (52-XX) 9 History and biography (01-XX) 9 Statistics (62-XX) 5 Number theory (11-XX) 5 Commutative algebra (13-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 4 Biology and other natural sciences (92-XX) 3 General and overarching topics; collections (00-XX) 3 Field theory and polynomials (12-XX) 3 Systems theory; control (93-XX) 3 Information and communication theory, circuits (94-XX) 2 Algebraic geometry (14-XX) 2 Group theory and generalizations (20-XX) 2 Geometry (51-XX) 2 Mechanics of particles and systems (70-XX) 2 Mathematics education (97-XX) 1 Nonassociative rings and algebras (17-XX) 1 Category theory; homological algebra (18-XX) 1 Real functions (26-XX) 1 Partial differential equations (35-XX) 1 Operator theory (47-XX) 1 Differential geometry (53-XX) 1 General topology (54-XX) 1 Manifolds and cell complexes (57-XX) 1 Probability theory and stochastic processes (60-XX) 1 Mechanics of deformable solids (74-XX) 1 Optics, electromagnetic theory (78-XX) Citations by Year