Herde, Christian.
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems / [electronic resource] : by Christian Herde. - Wiesbaden : Vieweg+Teubner, 2011. - digital.
9783834899491
10.1007/978-3-8348-9949-1 doi
Computer science.
Computer Science.
Computer Science, general.
QA75.5-76.95
004
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems / [electronic resource] : by Christian Herde. - Wiesbaden : Vieweg+Teubner, 2011. - digital.
9783834899491
10.1007/978-3-8348-9949-1 doi
Computer science.
Computer Science.
Computer Science, general.
QA75.5-76.95
004