Home
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure by Christian Herde, Paperback | Indigo Chapters
![Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure by Christian Herde, Paperback | Indigo Chapters](https://dynamic.indigoimages.ca/books/9783834814944.jpg?scaleup=true&width=600&quality=85&lang=en)
Coles
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure by Christian Herde, Paperback | Indigo Chapters
From Christian Herde
Current price: $80.50
Loading Inventory...
Size: 1 x 8.27 x 0.61
*Product information may vary - to confirm product availability, pricing, and additional information please contact Coles
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. | Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure by Christian Herde, Paperback | Indigo Chapters