P. Gilmore

发表

Optimal and Suboptimal Algorithms for the Quadratic Assignment Problem

P. Gilmore, 1962 .

A Linear Programming Approach to the Cutting Stock Problem---Part II

Ralph E. Gomory, P. C. Gilmore, R. Gomory, 1963 .

A Linear Programming Approach to the Cutting-Stock Problem

R. Gomory, P. Gilmore, 1961 .

An Implicit Filtering Algorithm for Optimization of Functions with Many Local Minima

C. T. Kelley, Paul C. Gilmore, P. Gilmore, 1995, SIAM J. Optim..

A Proof Method for Quantification Theory: Its Justification and Realization

Paul C. Gilmore, P. Gilmore, 1960, IBM J. Res. Dev..

A Characterization of Comparability Graphs and of Interval Graphs

P. Gilmore, A. Hoffman, 1964, Canadian Journal of Mathematics.

Sequencing a One State-Variable Machine: A Solvable Case of the Traveling Salesman Problem

R. Gomory, P. Gilmore, 1964 .

Multistage Cutting Stock Problems of Two and More Dimensions

R. Gomory, P. Gilmore, 1965 .

An addition to “logic of many-sorted theories”

P. Gilmore, 1958 .

Well-solved special cases

E. Lawler, P. Gilmore, D. Shmoys, 1985 .

Cutting Stock, Linear Programming, Knapsacking, Dynamic Programming and Integer Programming, Some Interconnections

P. Gilmore, 1979 .

Mechanical Means: Emersonian Aesthetic Transcendence and Antebellum Technology

P. Gilmore, 2004 .

COMBINATORICS OF INTERVALS PRELIMINARY VERSION

D. R. Fulkerson, P. Gilmore, A. Hoffman, 2003 .

Natural deduction based set theories: a new resolution of the old paradoxes

P. Gilmore, 1986, Journal of Symbolic Logic.

Well-solved Special Cases of the Traveling Salesman Problem

Eugene L. Lawler, David B. Shmoys, P. C. Gilmore, 1984 .

Meeting of the Association for Symbolic Logic, New York, 1974

Donald A. Martin, Elliott Mendelson, P. C. Gilmore, 1975, Journal of Symbolic Logic.

The Telegraph in Black and White

P. Gilmore, 2002 .

Romantic Electricity, or the Materiality of Aesthetics

P. Gilmore, 2004 .

The Indian in the Museum: Henry David Thoreau, Okah Tubbee, and Authentic Manhood

P. Gilmore, 2014 .

Republican Machines and Brackenridge's Caves: Aesthetics and Models of Machinery In the Early Republic

P. Gilmore, 2004 .

Charles Brockden Brown’s Romance and the Limits of Science and History

P. Gilmore, 2017 .

The Genuine Article: Race, Mass Culture, and American Literary Manhood

P. Gilmore, 2001 .

`De Genewine Artekil': William Wells Brown, blackface ministrelsy, and abolitionism

P. Gilmore, 1997 .

The Theory and Computation of Knapsack Functions

Ralph E. Gomory, P. C. Gilmore, R. Gomory, 1966, Oper. Res..

Aesthetic Materialism: Electricity and American Romanticism

P. Gilmore, 2009 .

A discipline in crisis

Peter J. Denning, Edward A. Feigenbaum, Joseph F. Traub, 1981, CACM.

Logicism Renewed: Logical Foundations for Mathematics and Computer Science

Paul C. Gilmore, P. Gilmore, 2005 .

Education in Private Industry.

P. Gilmore, L. Branscomb, 1975 .

Logical Foundations for Programming Semantics

Paul C. Gilmore, George K. Tsiknis, P. Gilmore, 1993, Theor. Comput. Sci..

The Effect of Griss’ Criticism of the Intuitionistic Logic on Deductive Theories Formalized within the Intuitionistic Logic. I

P. Gilmore, Paul Carl Gilmore, 1953 .

IFFCO (Implicit filtering for constrained optimization), users' guide

P. Gilmore, P. Gilmore, 1993 .

A program for the production from axioms, of proofs for theorems derivable within the first order predicate calculus

Paul C. Gilmore, P. Gilmore, 1959, IFIP Congress.

The Consistency of Partial Set Theory without Extensionality

Paul C. Gilmore, P. Gilmore, 1974 .

An intensional type theory: motivation and cut-elimination

Paul C. Gilmore, P. Gilmore, 2001, Journal of Symbolic Logic.

Partial Functions in an Impredicative Simple Theory of Types

Paul C. Gilmore, P. Gilmore, 1999, TABLEAUX.