登入選單
返回Google圖書搜尋
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Christian Herde
其他書名
Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
出版Springer Science & Business Media, 2011-03-29
主題Computers / Computer ScienceComputers / Information Technology
ISBN38348994969783834899491
URLhttp://books.google.com.hk/books?id=ami5RfrR4pMC&hl=&source=gbs_api
EBookSAMPLE
註釋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.