Hostname: page-component-8448b6f56d-t5pn6 Total loading time: 0 Render date: 2024-04-24T07:35:33.794Z Has data issue: false hasContentIssue false
  • English
  • Français

Computing convex hulls with a linear solver

Published online by Cambridge University Press:  10 January 2005

FLORENCE BENOY ,
ANDY KING  and
FRED MESNARD
FLORENCE BENOY
Affiliation:
Computing Laboratory, University of Kent, Canterbury, Kent, UK (e-mail: p.m.benoy@kent.ac.uk, a.m.king@kent.ac.uk
ANDY KING
Affiliation:
Computing Laboratory, University of Kent, Canterbury, Kent, UK (e-mail: p.m.benoy@kent.ac.uk, a.m.king@kent.ac.uk
FRED MESNARD
Affiliation:
Iremia, Université de La Réunion, France (e-mail: fred@univ-reunion.fr)
Get access Rights & Permissions [Opens in a new window]

Abstract

A programming tactic involving polyhedra is reported that has been widely applied in the polyhedral analysis of (constraint) logic programs. The method enables the computations of convex hulls that are required for polyhedral analysis to be coded with linear constraint solving machinery that is available in many Prolog systems.

Keywords

convex hullpolyhedraabstract interpretationlinear constraints
Type
PROGRAMMING PEARL
Information
Theory and Practice of Logic Programming , Volume 5 , Issue 1-2 , January 2005 , pp. 259 - 271
Copyright
© 2005 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)