Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Subtitle: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
By: by Christian Herde
Contributors: SpringerLink (Online service)
Publisher: Vieweg+Teubner Verlag / Springer Fachmedien Wiesbaden GmbH, Wiesbaden
Published: 2011
Place of publication: Wiesbaden
Language: eng
Format: [electronic resource] :
ISBN-13: 9783834814944; 9783834899491
Subjects: Computer science