Deriving system-level specifications from component specifications usually
involves the elimination of variables that are not part of the interface of the
top-level system. This paper presents algorithms for eliminating variables from
formulas by computing refinements or relaxations of these formulas in a
context. We discuss a connection between this problem and optimization and give
efficient algorithms to compute refinements and relaxations of linear
inequality constraints