Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure [E-Book] : Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems / by Christian Herde.
Herde, Christian.
Wiesbaden : Vieweg+Teubner Verlag / Springer Fachmedien Wiesbaden GmbH, Wiesbaden, 2011.
online resource
9783834899491
Full Text
Description not available.