Practical issues on the projection of polyhedral sets

Integer and Combinatorial Optimization

H. P. Williams, George L. Nemhauser, Laurence A. Wolsey · Journal of the Operational Research Society · 1990 · 5.5K citations

The CLP( ℛ ) language and system

Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey et al. · ACM Transactions on Programming Languages and Systems · 1992 · 524 citations · Full text

Engineering, Software Engineering, Semantics +23

A Survey and Comparison of Methods for Finding All Vertices of Convex Polyhedral Sets

T. H. Matheiss, David S. Rubin · Mathematics of Operations Research · 1980 · 245 citations

Mathematical Programming, Engineering, Planar Graph +19

An algorithm for determining all extreme points of a convex polytope

Martin Dyer, L. G. Proll · Mathematical Programming · 1977 · 100 citations

Geometric Modeling, Conic Optimization, Mathematical Programming +10

On Fourier's algorithm for linear arithmetic constraints

Jean-Louis Lassez, Michael J. Maher · Journal of Automated Reasoning · 1992 · 68 citations

Mathematical Programming, Engineering, Linear Arithmetic Constraints +5