Paul C. Gilmore
- A Linear Programming Approach to the Cutting-Stock Problem
1961/12/01 by P. C. Gilmore, Paul C. Gilmore, R. E. Gomory +1 · 59 citations
Engineering · Mathematics · #Advanced Manufacturing and Logistics Optimization #Algorithm #Branch and price #Computation #Computer science #Cutting stock problem #Integer programming #Linear programming #Linear-fractional programming #Mathematical optimization #Mathematics #Optimization and Packing Problems #Optimization problem #Row #Scheduling and Optimization Algorithms
- A Characterization of Comparability Graphs and of Interval Graphs
1964/01/01 by Paul C. Gilmore, Alan J. Hoffman · 23 citations
Computer Science · Mathematics · #semigroups and automata theory #Advanced Graph Theory Research #Formal Methods in Verification #Mathematics #Comparability #Combinatorics #Comparability graph #Discrete mathematics #Interval graph #Characterization (materials science) #Graph #Pathwidth #Line graph
- A Proof Method for Quantification Theory: Its Justification and Realization
1960/01/01 by Paul C. Gilmore · 3 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Logic, Reasoning, and Knowledge
- Sequencing a One State-Variable Machine: A Solvable Case of the Traveling Salesman Problem
1964/10/01 by Paul C. Gilmore, Ralph E. Gomory · 2 citations
Engineering · Computer Science · Mathematics · #Scheduling and Optimization Algorithms #Optimization and Search Problems #Computability, Logic, AI Algorithms #Travelling salesman problem #Bottleneck #Bottleneck traveling salesman problem #Mathematical optimization #2-opt #State (computer science) #Computer science #Hamiltonian path #Sequence (biology) #Variable (mathematics) #Mathematics #State variable #Traveling purchaser problem #Combinatorics #Algorithm #Graph