The convex hull of finitely generable subsets and its predicate transformer.

Mohammad-Javad Davari Abbas Edalat André Lieutier

Published in: LICS (2019)

Keyphrases

convex hull
fuzzy logic
convex sets
mixed integer
convex polyhedra
point sets
feasible solution
finite number
linear inequalities
computational geometry
fault diagnosis
training samples
convex concave
data sets
linear programming
lot sizing
continuous variables
linear program
totally unimodular