Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Know about the book -

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure is written by Christian Herde and published by Springer Science & Business Media. It's available with International Standard Book Number or ISBN identification 3834899496 (ISBN 10) and 9783834899491 (ISBN 13).

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.