{"product_id":"efficient-solving-of-large-arithmetic-christian-herde-9783834814944","title":"Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous","description":"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.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Christian Herde\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3834814946\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783834814944\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Vieweg+teubner Verlag\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 02\/10\/2011\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 163\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.50lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 8.27h x 5.83w x 0.39d","brand":"Christian Herde","offers":[{"title":"Paperback","offer_id":48487079870719,"sku":"9783834814944","price":54.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_35ce0330-a3e6-4901-8d4f-8ad5ad49228f.jpg?v=1778058210","url":"https:\/\/www.whiterainbookhouse.com\/products\/efficient-solving-of-large-arithmetic-christian-herde-9783834814944","provider":"WR Book House","version":"1.0","type":"link"}