Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
| Author/creator | Herde, Christian Author |
| Format | Electronic |
| Publication Info | Wiesbaden : Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH Secaucus : Springer [Distributor] |
| Description | xvii, 163 p. ill 21.000 x 014.800 cm. |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2011 English International |
| Supplemental Content | Full text available from Springer Books |
| Summary | Annotation Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking. He provides methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands of Boolean-, integer-, and real-valued variables. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9783834814944 |
| ISBN | 3834814946 (Trade Paper) Active Record |
| Standard identifier# | 9783834814944 |
| Stock number | 3834814946 00713190 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |