×

zbMATH — the first resource for mathematics

Generalized halfspaces in the mixed-integer realm. (English) Zbl 1190.03036
Summary: In the ordered abelian group of reals with the integers as a distinguished subgroup, the projection of a finite intersection of generalized halfspaces is a finite intersection of generalized halfspaces. The result is uniform in the integer coefficients and moduli of the initial generalized halfspaces.
MSC:
03C64 Model theory of ordered structures; o-minimality
15A39 Linear inequalities of matrices
90C11 Mixed integer programming
PDF BibTeX XML Cite
Full Text: DOI