Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure : Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems - Christian Herde (Springer Vieweg)