Integer Polyhedra for Program Analysis.

Philip J. Charles Jacob M. Howe Andy King

Published in: AAIM (2009)

Keyphrases

extreme points
integer points
convex hull
line drawings
digital libraries
linear program
convex polyhedra
special case
branch and bound algorithm
convex sets
linear systems
infinite dimensional
integer valued