Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure(English, Paperback, Herde Christian)
- Herde Christian
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart ₹ 6044SnapdealGOSapnaOnlineGOJain Book AgencyGOBooks WagonGOBook ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books GOAudible GO* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Know about the book -
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure(English, Paperback, Herde Christian) is written by Herde Christian and published by Springer Fachmedien Wiesbaden. It's available with International Standard Book Number or ISBN identification 3834814946 (ISBN 10) and 9783834814944 (ISBN 13).
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.
