×

zbMATH — the first resource for mathematics

Gilmore, Paul C.

Compute Distance To:
Author ID: gilmore.paul-c Recent zbMATH articles by "Gilmore, Paul C."
Published as: Gilmore, P.; Gilmore, P. C.; Gilmore, Paul C.
Documents Indexed: 37 Publications since 1953, including 1 Book

Publications by Year

Citations contained in zbMATH Open

27 Publications have been cited 1,490 times in 1,162 Documents Cited by Year
A linear programming approach to the cutting-stock problem. Zbl 0096.35501
Gilmore, P. C.; Gomory, R. E.
351
1961
A characterization of comparability graphs and of interval graphs. Zbl 0121.26003
Gilmore, P. C.; Hoffman, A. J.
228
1964
A linear programming approach to the cutting stock problem. II. Zbl 0124.36307
Gilmore, P. C.; Gomory, R. E.
208
1963
Multistage cutting stock problems of two and more dimensions. Zbl 0128.39601
Gilmore, P. C.; Gomory, R. E.
161
1965
The theory and computation of knapsack functions. Zbl 0173.21502
Gilmore, P. C.; Gomory, R. E.
134
1967
Sequencing a one state-variable machine: a solvable case of the traveling salesman problem. Zbl 0126.36006
Gilmore, P.; Gomory, R.
133
1964
Optimal and suboptimal algorithms for the quadratic assignment problem. Zbl 0118.15101
Gilmore, P. C.
93
1962
Well-solved special cases. Zbl 0631.90081
Gilmore, P. C.; Lawler, E. L.; Shmoys, D. B.
69
1985
An implicit filtering algorithm for optimization of functions with many local minima. Zbl 0828.65064
Gilmore, P.; Kelley, C. T.
28
1995
The consistency of partial set theory without extensionality. Zbl 0309.02065
Gilmore, P. C.
19
1974
A proof method for quantification theory: Its justification and realization. Zbl 0097.00301
Gilmore, P. C.
19
1960
An examination of the geometry theorem machine. Zbl 0205.31602
Gilmore, P. C.
8
1970
Metamathematical considerations on the relative irreducibility of polynomials. Zbl 0066.26902
Gilmore, P. C.; Robinson, A.
7
1955
Natural deduction based set theories: A new resolution of the old paradoxes. Zbl 0627.03038
Gilmore, Paul C.
6
1986
Cutting stock, linear programming, knapsacking, dynamic programming and integer programming, some interconnections. Zbl 0409.90062
Gilmore, Paul C.
6
1979
A solvable case of the traveling salesman problem. Zbl 0116.25001
Gilmore, P. C.; Gomory, R. E.
3
1964
An addition to ‘Logic of many-sorted theories’. Zbl 0149.24502
Gilmore, P. C.
3
1958
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
A logic for category theory. Zbl 0791.18002
Gilmore, Paul C.; Tsiknis, George K.
2
1993
Logic, sets, and mathematics. Zbl 0780.03022
Gilmore, Paul C.
2
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
Implicit filtering and optimal design problems. Zbl 0821.73040
Gilmore, P.; Kelley, C. T.; Miller, C. T.; Williams, G. A.
1
1995
Logical foundations for programming semantics. Zbl 0786.03021
Gilmore, Paul C.; Tsiknis, George K.
1
1993
Attributes, sets, partial sets and identity. Zbl 0182.32803
Gilmore, P. C.
1
1968
A solvable case of the travelling salesman problem. Zbl 0158.18801
Gilmore, P. C.
1
1966
The monadic theory of types in the lower predicate calculus. Zbl 0178.31001
Gilmore, P. C.
1
1960
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.
28
1995
Implicit filtering and optimal design problems. Zbl 0821.73040
Gilmore, P.; Kelley, C. T.; Miller, C. T.; Williams, G. A.
1
1995
A logic for category theory. Zbl 0791.18002
Gilmore, Paul C.; Tsiknis, George K.
2
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.
6
1986
Well-solved special cases. Zbl 0631.90081
Gilmore, P. C.; Lawler, E. L.; Shmoys, D. B.
69
1985
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.
19
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.
134
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.
161
1965
A characterization of comparability graphs and of interval graphs. Zbl 0121.26003
Gilmore, P. C.; Hoffman, A. J.
228
1964
Sequencing a one state-variable machine: a solvable case of the traveling salesman problem. Zbl 0126.36006
Gilmore, P.; Gomory, R.
133
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.
208
1963
Optimal and suboptimal algorithms for the quadratic assignment problem. Zbl 0118.15101
Gilmore, P. C.
93
1962
A linear programming approach to the cutting-stock problem. Zbl 0096.35501
Gilmore, P. C.; Gomory, R. E.
351
1961
A proof method for quantification theory: Its justification and realization. Zbl 0097.00301
Gilmore, P. C.
19
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.
7
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 top 5

Cited by 1,807 Authors

23 Scheithauer, Guntram
15 Arenales, Marcos Nereu
15 Cui, Yaodong
14 Woeginger, Gerhard Johannes
13 Hifi, Mhand
12 Burkard, Rainer E.
12 Sriskandarajah, Chelliah
11 Iori, Manuel
11 Valério de Carvalho, José Manuel
10 Deĭneko, Vladimir G.
10 Morabito, Reinaldo
10 Yanasse, Horacio Hideki
9 Martinovic, John
9 Punnen, Abraham P.
8 Fishburn, Peter Clingerman
8 Malucelli, Federico
8 Toth, Paolo
8 Wäscher, Gerhard
7 Alves, Cláudio
7 Desaulniers, Guy
7 Farley, Alan A.
7 Golumbic, Martin Charles
7 Gradišar, Miro
7 Hanafi, Saïd
7 Ibaraki, Toshihide
7 Klinz, Bettina
7 Martello, Silvano
7 Monaci, Michele
7 Roberts, Fred S.
7 Terno, Johannes
6 Clautiaux, François
6 Dell’Amico, Mauro
6 Desrosiers, Jacques
6 Fréville, Arnaud
6 Gavril, Fanica
6 Knust, Sigrid
6 Prokopyev, Oleg Alexan
6 Trotter, William T. jun.
5 Arbib, Claudio
5 Boysen, Nils
5 Caprara, Alberto
5 Cheng, Tai-Chiu Edwin
5 Gilmore, Paul C.
5 Haessler, Robert W.
5 Hahn, Peter M.
5 Jansen, Klaus
5 Kabadi, Santosh Narayan
5 Kaku, Bharat K.
5 Kartak, Vadim M.
5 Malaguti, Enrico
5 Marinelli, Fabrizio
5 Olariu, Stephan
5 Raidl, Günther R.
5 Rostami, Borzou
5 Schaefer, Andrew J.
5 van der Veen, Jack A. A.
5 Waldherr, Stefan
4 Agnetis, Alessandro
4 Belov, G. N.
4 Chu, Chengbin
4 Crama, Yves
4 Drezner, Zvi
4 Furini, Fabio
4 Griggs, Jerrold R.
4 Groshaus, Marina E.
4 Hansen, Pierre
4 Hell, Pavol
4 Huang, Jing
4 Irnich, Stefan
4 Kouvelis, Panagiotis
4 Kratochvíl, Jan
4 Lodi, Andrea
4 Miyazawa, Flavio Keidi
4 Munari, Pedro Augusto
4 Muter, Ịbrahim
4 Poldi, Kelly Cristina
4 Puchinger, Jakob
4 Resinovič, Gortan
4 Rietz, Jürgen
4 Sotirov, Renata
4 Soumis, François
4 Strusevich, Vitaly A.
4 Szwarcfiter, Jayme Luiz
4 Warren, Richard H.
4 Yagiura, Mutsunori
3 Alvarez-Valdes, Ramon
3 Andonov, Rumen A.
3 Briskorn, Dirk
3 Buchheim, Christoph
3 Ceselli, Alberto
3 Cherri, Adriana Cristina
3 Chew, Ek Peng
3 Chiang, Wen-Chyuan
3 Christofides, Nicos
3 Côté, Jean-François
3 Cozzens, Margaret Barry
3 de Araujo, Silvio Alexandre
3 de Figueiredo, Celina M. Herrera
3 de Klerk, Etienne
3 Degraeve, Zeger
...and 1,707 more Authors
all top 5

Cited in 164 Serials

253 European Journal of Operational Research
103 Computers & Operations Research
80 Discrete Applied Mathematics
42 Discrete Mathematics
32 Annals of Operations Research
28 Theoretical Computer Science
25 Operations Research Letters
25 International Journal of Production Research
22 Mathematical Programming. Series A. Series B
21 Journal of Scheduling
20 Information Processing Letters
14 Discrete Optimization
13 Mathematical and Computer Modelling
13 International Transactions in Operational Research
12 Artificial Intelligence
12 Mathematical Programming
12 Networks
12 Journal of Global Optimization
12 INFORMS Journal on Computing
11 Journal of Graph Theory
11 Computational Optimization and Applications
10 Journal of Combinatorial Theory. Series B
10 OR Spectrum
10 Optimization Letters
7 Journal of Mathematical Psychology
7 Optimization
7 Algorithmica
7 Applied Mathematical Modelling
7 Linear Algebra and its Applications
7 Journal of Heuristics
7 Journal of Combinatorial Optimization
6 Computers & Mathematics with Applications
6 Optimization Methods & Software
5 Applied Mathematics and Computation
5 Computing
5 Information Sciences
5 Journal of Computational and Applied Mathematics
5 Journal of Computer and System Sciences
5 Studia Logica
5 OR Spektrum
5 Asia-Pacific Journal of Operational Research
5 Applied Mathematics Letters
5 RAIRO. Operations Research
4 Journal of Mathematical Analysis and Applications
4 Journal of Optimization Theory and Applications
4 Journal of Philosophical Logic
4 The Journal of Symbolic Logic
4 Naval Research Logistics
4 Transactions of the American Mathematical Society
4 SIAM Journal on Algebraic and Discrete Methods
4 Information and Computation
4 Journal of Automated Reasoning
4 Mathematical Methods of Operations Research
4 CEJOR. Central European Journal of Operations Research
4 Optimization and Engineering
4 4OR
3 BIT
3 Operations Research
3 European Journal of Combinatorics
3 Combinatorica
3 Order
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 Top
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 Journal of the Franklin Institute
2 Czechoslovak Mathematical Journal
2 Fuzzy Sets and Systems
2 Journal of Soviet Mathematics
2 Mathematische Nachrichten
2 Mathematics of Operations Research
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 Constraints
2 Journal of Discrete Algorithms
2 Proceedings of the Japan Academy
2 EURO Journal on Computational Optimization
1 Computer Methods in Applied Mechanics and Engineering
1 International Journal of Mathematical Education in Science and Technology
1 International Journal of Systems Science
1 Israel Journal of Mathematics
1 Mathematical Proceedings of the Cambridge Philosophical Society
1 Mathematische Semesterberichte
1 Metrika
...and 64 more Serials

Citations by Year