Efficient Solving of Large Arithmet - E-book

eBook

Efficient Solving Of Large Arithmetic Constraint Systems With Complex Boolean Structure - ENG

Proof Engines For The Analysis Of Hybrid Discrete-continuous Systems

Christian Herde

eBook

$1,100.00

Disponible

Información adicional
Sinopsis

ISBN:	9783834899491
Formato:	Page Fidelity
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Computadoras
Subtema:	Ciencia de computación
Año de publicación:	2011-03-29

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.

eBooks