Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
| Author | : Christian Herde |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 175 |
| Release | : 2011-03-29 |
| ISBN-10 | : 9783834899491 |
| ISBN-13 | : 3834899496 |
| Rating | : 4/5 (496 Downloads) |
Book Synopsis Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure by : Christian Herde
Download or read book Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure written by Christian Herde and published by Springer Science & Business Media. This book was released on 2011-03-29 with total page 175 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Top