Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous by Herde, Christian

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous (Paperback) (ISBN-13: 9783834814944)

Vendor: Christian Herde
Product type: Books
Format: Paperback
$54.99
$54.99
$54.99
Subtotal: $54.99
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous by Herde, Christian

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous

$54.99
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous by Herde, Christian

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous

$54.99
Format: Paperback
Description
Description
x
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.

Author: Christian Herde
ISBN-10: 3834814946
ISBN-13: 9783834814944
Publisher: Vieweg+teubner Verlag
Language: English
Published: 02/10/2011
Pages: 163
Format: Paperback
Weight: 0.50lbs
Size: 8.27h x 5.83w x 0.39d
By Christian Herde
By Christian Herde
x
Dr. Christian Herde completed his doctoral thesis under the supervision of Prof. Dr. Martin Fränzle at the Department of Computing Science at the University of Oldenburg, Germany.

Recently Viewed Products