Stock image for illustration purposes only - book cover, edition or condition may vary.
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Christian Herde
€ 63.06
FREE Delivery in Ireland
Description for Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
paperback. Num Pages: 163 pages, 30 black & white illustrations, 12 black & white tables, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 210 x 148 x 9. Weight in Grams: 228.
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.
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.
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer Fachmedien Wiesbaden Germany
Number of pages
163
Condition
New
Number of Pages
163
Place of Publication
Weisbaden, Germany
ISBN
9783834814944
SKU
V9783834814944
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
About Christian Herde
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.
Reviews for Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure