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 272 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 L. 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 Williams, Gary A. 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,598 times in 1,237 Documents Cited by ▼ Year ▼ A linear programming approach to the cutting-stock problem. Zbl 0096.35501Gilmore, P. C.; Gomory, R. E. 397 1961 A characterization of comparability graphs and of interval graphs. Zbl 0121.26003Gilmore, P. C.; Hoffman, A. J. 251 1964 A linear programming approach to the cutting stock problem. II. Zbl 0124.36307Gilmore, P. C.; Gomory, R. E. 232 1963 Multistage cutting stock problems of two and more dimensions. Zbl 0128.39601Gilmore, P. C.; Gomory, R. E. 177 1965 Sequencing a one state-variable machine: a solvable case of the traveling salesman problem. Zbl 0126.36006Gilmore, P.; Gomory, R. 147 1964 The theory and computation of knapsack functions. Zbl 0173.21502Gilmore, P. C.; Gomory, R. E. 141 1967 Optimal and suboptimal algorithms for the quadratic assignment problem. Zbl 0118.15101Gilmore, P. C. 94 1962 Well-solved special cases. Zbl 0631.90081Gilmore, P. C.; Lawler, E. L.; Shmoys, D. B. 68 1985 An implicit filtering algorithm for optimization of functions with many local minima. Zbl 0828.65064Gilmore, P.; Kelley, C. T. 32 1995 The consistency of partial set theory without extensionality. Zbl 0309.02065Gilmore, P. C. 22 1974 A proof method for quantification theory: Its justification and realization. Zbl 0097.00301Gilmore, P. C. 20 1960 To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006 19 1980 Automation of reasoning. 1: Classical papers on computational logic 1957–1966. Zbl 0567.03001 9 1983 Natural deduction based set theories: A new resolution of the old paradoxes. Zbl 0627.03038Gilmore, Paul C. 8 1986 Metamathematical considerations on the relative irreducibility of polynomials. Zbl 0066.26902Gilmore, P. C.; Robinson, A. 8 1955 An examination of the geometry theorem machine. Zbl 0205.31602Gilmore, P. C. 7 1970 Cutting stock, linear programming, knapsacking, dynamic programming and integer programming, some interconnections. Zbl 0409.90062Gilmore, Paul C. 6 1979 A logic for category theory. Zbl 0791.18002Gilmore, Paul C.; Tsiknis, George K. 3 1993 Implicit filtering and optimal design problems. Zbl 0821.73040Gilmore, P.; Kelley, C. T.; Miller, C. T.; Williams, G. A. 3 1995 The effect of Griss’ criticism of the intuitionistic logic on deductive theories formalized within the intuitionistic logic. I, II. Zbl 0053.34105Gilmore, P. C. 3 1953 A solvable case of the traveling salesman problem. Zbl 0116.25001Gilmore, P. C.; Gomory, R. E. 3 1964 An addition to ‘Logic of many-sorted theories’. Zbl 0149.24502Gilmore, P. C. 3 1958 Logic, sets, and mathematics. Zbl 0780.03022Gilmore, Paul C. 2 1993 Logical foundations for programming semantics. Zbl 0786.03021Gilmore, Paul C.; Tsiknis, George K. 1 1993 Logicism renewed. Logical foundations for mathematics and computer science. Zbl 1093.03002Gilmore, Paul C. 1 2005 Attributes, sets, partial sets and identity. Zbl 0182.32803Gilmore, P. C. 1 1968 A solvable case of the travelling salesman problem. Zbl 0158.18801Gilmore, P. C. 1 1966 An intensional type theory: Motivation and cut-elimination. Zbl 0980.03007Gilmore, Paul C. 1 2001 The monadic theory of types in the lower predicate calculus. Zbl 0178.31001Gilmore, P. C. 1 1960 Logicism renewed. Logical foundations for mathematics and computer science. Zbl 1093.03002Gilmore, Paul C. 1 2005 An intensional type theory: Motivation and cut-elimination. Zbl 0980.03007Gilmore, Paul C. 1 2001 An implicit filtering algorithm for optimization of functions with many local minima. Zbl 0828.65064Gilmore, P.; Kelley, C. T. 32 1995 Implicit filtering and optimal design problems. Zbl 0821.73040Gilmore, P.; Kelley, C. T.; Miller, C. T.; Williams, G. A. 3 1995 A logic for category theory. Zbl 0791.18002Gilmore, Paul C.; Tsiknis, George K. 3 1993 Logic, sets, and mathematics. Zbl 0780.03022Gilmore, Paul C. 2 1993 Logical foundations for programming semantics. Zbl 0786.03021Gilmore, Paul C.; Tsiknis, George K. 1 1993 Natural deduction based set theories: A new resolution of the old paradoxes. Zbl 0627.03038Gilmore, Paul C. 8 1986 Well-solved special cases. Zbl 0631.90081Gilmore, P. C.; Lawler, E. L.; Shmoys, D. B. 68 1985 Automation of reasoning. 1: Classical papers on computational logic 1957–1966. Zbl 0567.03001 9 1983 To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006 19 1980 Cutting stock, linear programming, knapsacking, dynamic programming and integer programming, some interconnections. Zbl 0409.90062Gilmore, Paul C. 6 1979 The consistency of partial set theory without extensionality. Zbl 0309.02065Gilmore, P. C. 22 1974 An examination of the geometry theorem machine. Zbl 0205.31602Gilmore, P. C. 7 1970 Attributes, sets, partial sets and identity. Zbl 0182.32803Gilmore, P. C. 1 1968 The theory and computation of knapsack functions. Zbl 0173.21502Gilmore, P. C.; Gomory, R. E. 141 1967 A solvable case of the travelling salesman problem. Zbl 0158.18801Gilmore, P. C. 1 1966 Multistage cutting stock problems of two and more dimensions. Zbl 0128.39601Gilmore, P. C.; Gomory, R. E. 177 1965 A characterization of comparability graphs and of interval graphs. Zbl 0121.26003Gilmore, P. C.; Hoffman, A. J. 251 1964 Sequencing a one state-variable machine: a solvable case of the traveling salesman problem. Zbl 0126.36006Gilmore, P.; Gomory, R. 147 1964 A solvable case of the traveling salesman problem. Zbl 0116.25001Gilmore, P. C.; Gomory, R. E. 3 1964 A linear programming approach to the cutting stock problem. II. Zbl 0124.36307Gilmore, P. C.; Gomory, R. E. 232 1963 Optimal and suboptimal algorithms for the quadratic assignment problem. Zbl 0118.15101Gilmore, P. C. 94 1962 A linear programming approach to the cutting-stock problem. Zbl 0096.35501Gilmore, P. C.; Gomory, R. E. 397 1961 A proof method for quantification theory: Its justification and realization. Zbl 0097.00301Gilmore, P. C. 20 1960 The monadic theory of types in the lower predicate calculus. Zbl 0178.31001Gilmore, P. C. 1 1960 An addition to ‘Logic of many-sorted theories’. Zbl 0149.24502Gilmore, P. C. 3 1958 Metamathematical considerations on the relative irreducibility of polynomials. Zbl 0066.26902Gilmore, 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.34105Gilmore, P. C. 3 1953 all cited Publications top 5 cited Publications all top 5 Cited by 1,852 Authors 25 Scheithauer, Guntram 15 Arenales, Marcos Nereu 15 Cui, Yaodong 15 Iori, Manuel 14 Martinovic, John 13 Hifi, Mhand 13 Valério de Carvalho, José Manuel 13 Woeginger, Gerhard 12 Sriskandarajah, Chelliah 12 Yanasse, Horacio Hideki 11 Morabito, Reinaldo 10 Burkard, Rainer E. 10 Deĭneko, Vladimir G. 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 Jansen, Klaus 8 Malucelli, Federico 8 Martello, Silvano 8 Toth, Paolo 8 Wäscher, Gerhard 7 Boysen, Nils 7 Clautiaux, François 7 Desaulniers, Guy 7 Farley, Alan A. 7 Fréville, Arnaud 7 Golumbic, Martin Charles 7 Gradišar, Miro 7 Ibaraki, Toshihide 7 Klinz, Bettina 7 Monaci, Michele 7 Roberts, Fred S. 7 Terno, Johannes 6 Cheng, Tai-Chiu Edwin 6 Dell’Amico, Mauro 6 Desrosiers, Jacques 6 Gavril, Fanica 6 Kartak, Vadim Mikhaĭlovich 6 Knust, Sigrid 6 Poldi, Kelly Cristina 6 Prokopyev, Oleg Alexan 6 Raidl, Günther R. 6 Schaefer, Andrew J. 6 Trotter, William T. jun. 5 Arbib, Claudio 5 Briskorn, Dirk 5 Caprara, Alberto 5 Furini, Fabio 5 Gilmore, Paul C. 5 Haessler, Robert W. 5 Hahn, Peter M. 5 Hell, Pavol 5 Huang, Jing 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 Miyazawa, Flavio Keidi 5 Puchinger, Jakob 5 Ripatti, Artëm Valer’evich 5 Rostami, Borzou 5 Strusevich, Vitaly A. 5 Szwarcfiter, Jayme Luiz 5 van der Veen, Jack A. A. 5 Waldherr, Stefan 4 Agnetis, Alessandro 4 Crama, Yves 4 Delorme, Maxence 4 Drezner, Zvi 4 Griggs, Jerrold R. 4 Groshaus, Marina E. 4 Hansen, Pierre 4 Heggernes, Pinar 4 Kouvelis, Panagiotis 4 Munari, Pedro Augusto 4 Muter, Ịbrahim 4 Olariu, Stephan 4 Pedroso, João Pedro 4 Pisinger, David 4 Resinovič, Gortan 4 Rietz, Jürgen 4 Sotirov, Renata 4 Soumis, François 4 Strasdat, Nico 4 Warren, Richard H. 4 White, Douglas John 4 Wilbaut, Christophe 4 Yagiura, Mutsunori 3 Alvarez-Valdes, Ramon 3 Andonov, Rumen A. 3 Birx, Alexander 3 Buchheim, Christoph 3 Ceselli, Alberto 3 Chew, Ek Peng ...and 1,752 more Authors all top 5 Cited in 172 Serials 270 European Journal of Operational Research 109 Computers & Operations Research 82 Discrete Applied Mathematics 41 Discrete Mathematics 38 Annals of Operations Research 31 Theoretical Computer Science 26 Operations Research Letters 25 International Journal of Production Research 24 Journal of Scheduling 22 Mathematical Programming. Series A. Series B 20 Information Processing Letters 14 INFORMS Journal on Computing 14 Discrete Optimization 13 International Transactions in Operational Research 12 Artificial Intelligence 12 Mathematical Programming 12 Networks 12 OR Spectrum 11 Journal of Graph Theory 11 Mathematical and Computer Modelling 11 Optimization Letters 10 Journal of Combinatorial Theory. Series B 10 Journal of Global Optimization 10 Applied Mathematical Modelling 10 Journal of Combinatorial Optimization 7 Journal of Mathematical Psychology 7 Optimization 7 Algorithmica 7 Computational Optimization and Applications 7 Top 7 Journal of Heuristics 6 Computers & Mathematics with Applications 6 Information Sciences 6 Linear Algebra and its Applications 5 Applied Mathematics and Computation 5 Computing 5 Journal of Computer and System Sciences 5 Studia Logica 5 OR Spektrum 5 Journal of Automated Reasoning 5 Asia-Pacific Journal of Operational Research 5 Applied Mathematics Letters 5 Mathematical Methods of Operations Research 5 RAIRO. Operations Research 4 Journal of Mathematical Analysis and Applications 4 Journal of Philosophical Logic 4 The Journal of Symbolic Logic 4 Naval Research Logistics 4 Operations Research 4 Transactions of the American Mathematical Society 4 SIAM Journal on Algebraic and Discrete Methods 4 Order 4 Information and Computation 4 CEJOR. Central European Journal of Operations Research 4 4OR 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 SIAM Journal on Discrete Mathematics 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 3 EURO Journal on Computational Optimization 2 Acta Informatica 2 Acta Mathematica Academiae Scientiarum Hungaricae 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 Journal of Discrete Algorithms 2 Proceedings of the Japan Academy 2 Diskretnyĭ Analiz i Issledovanie Operatsiĭ 1 American Mathematical Monthly 1 International Journal of Mathematical Education in Science and Technology 1 International Journal of Systems Science ...and 72 more Serials all top 5 Cited in 33 Fields 902 Operations research, mathematical programming (90-XX) 231 Combinatorics (05-XX) 223 Computer science (68-XX) 72 Numerical analysis (65-XX) 40 Mathematical logic and foundations (03-XX) 34 Order, lattices, ordered algebraic structures (06-XX) 26 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 11 Calculus of variations and optimal control; optimization (49-XX) 11 Convex and discrete geometry (52-XX) 9 Statistics (62-XX) 8 History and biography (01-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 Field theory and polynomials (12-XX) 3 Systems theory; control (93-XX) 3 Information and communication theory, circuits (94-XX) 2 General and overarching topics; collections (00-XX) 2 Algebraic geometry (14-XX) 2 Group theory and generalizations (20-XX) 2 Mechanics of particles and systems (70-XX) 1 Nonassociative rings and algebras (17-XX) 1 Category theory; homological algebra (18-XX) 1 Real functions (26-XX) 1 Operator theory (47-XX) 1 Geometry (51-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