Polyhedral Representations and Overapproximations