Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Name: Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous
Brand: Vieweg+teubner Verlag
SKU: 9783834814944
Price: 5449.00 INR
Availability: InStock

Proof Engines for the Analysis of Hybrid Discrete-Continuous

by Christian Herde

Vieweg+teubner Verlag

₹5,449

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

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.

Description supplied by the publisher.