Variable Elimination in Linear Constraints
From MaRDI portal
Publication:3140557
DOI10.1093/comjnl/36.5.463zbMath0780.68072OpenAlexW2056219099MaRDI QIDQ3140557
Publication date: 31 January 1994
Published in: The Computer Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/comjnl/36.5.463
Related Items
Reachability and optimal control for linear hybrid automata: a quantifier elimination approach, Conflict Resolution, A linear programming primer: from Fourier to Karmarkar, Minimal Sign Representation of Boolean Functions: Algorithms and Exact Results for Low Dimensions, Unnamed Item, An Upper Bound on the Minimum Number of Monomials Required to Separate Dichotomies of {−1, 1}n