Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
- Author
- Christian Herde
- Publisher
- Vieweg+Teubner
- Language
- English
- Year
- 2011
- Page
- 182
- ISBN
- 3834814946,9783834814944
- File Type
- pdf
- File Size
- 928.0 KiB
How to Download?!!!
Just click on START button on Telegram Bot