Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

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

by Christian Herde
Save 17% Save 17%
Current price ₹5,635.00
Original price ₹6,762.00
Original price ₹6,762.00
Original price ₹6,762.00
(-17%)
₹5,635.00
Current price ₹5,635.00

Imported Edition - Ships in 18-21 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Paperback
  • ISBN13: 9783834814944
  • Binding: Paperback
  • Subject: N/A
  • Publisher: Vieweg+teubner Verlag
  • Publisher Imprint: Vieweg+teubner Verlag
  • Publication Date:
  • Pages: 163
  • Original Price: USD 54.99
  • Language: English
  • Edition: 2011
  • Item Weight: 227 grams
  • BISAC Subject(s): Computer Science

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.

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.

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us