Modeling and integer programming techniques applied to propositional calculus

Model Building in Mathematical Programming

Mike Maher, H. P. Williams · Journal of the Operational Research Society · 1979 · 1.3K citations

Natural Sciences, Mathematics, Mathematics Education +11

Solving Large-Scale Zero-One Linear Programming Problems

Harlan Crowder, Ellis L. Johnson, Manfred Padberg · Operations Research · 1983 · 676 citations

Natural Sciences, Computer Science, Computer Systems +15

Technical Note—Converting the 0-1 Polynomial Programming Problem to a 0-1 Linear Program

Fred Glover, Eugene Woolsey · Operations Research · 1974 · 396 citations

Natural Sciences, Computer Science, Mathematics +12

Model Building in Mathematical Programming.

B. D. Bunday, H. P. Williams · Journal of the Royal Statistical Society Series A (General) · 1985 · 359 citations

Business, Mathematics, Mathematics Education +12

A quantitative approach to logical inference

John Hooker · Decision Support Systems · 1988 · 155 citations

Humanities, Computer Science, Mathematics +14