| Title | Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems |
|---|---|
| Author | Christian Herde |
| Year | 2011 |
| Edition | |
| Volume | |
| Series | |
| Publisher | Vieweg+Teubner |
| City | |
| Language | English |
Size: 928.04KB | Pages: 182 |
LLC: N/A | DDC:
Related Books
- No Related Books!