Generalized halfspaces in the mixed-integer realm

DOI10.1215/00294527-2008-026zbMath1190.03036OpenAlexW2031354683MaRDI QIDQ1038603

Philip Scowcroft

Publication date: 18 November 2009

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2008-026

zbMATH Keywords

projectiongeneralized halfspacemixed-integer quantifier elimination

Mathematics Subject Classification ID

Mixed integer programming (90C11) Linear inequalities of matrices (15A39) Model theory of ordered structures; o-minimality (03C64)

Related Items (1)

A discrete variant of Farkas' lemma and related results

This page was built for publication: Generalized halfspaces in the mixed-integer realm