Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications v. 185 (Hardback)
  • Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications v. 185 (Hardback)
zoom

Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications v. 185 (Hardback)

(editor), (editor), (editor), (editor)
£113.00
Hardback 980 Pages / Published: 01/02/2009
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
'Satisfiability (SAT) related topics have attracted researchers from various disciplines: logic, applied areas such as planning, scheduling, operations research and combinatorial optimization, but also theoretical issues on the theme of complexity and much more, they all are connected through SAT. My personal interest in SAT stems from actual solving: The increase in power of modern SAT solvers over the past 15 years has been phenomenal. It has become the key enabling technology in automated verification of both computer hardware and software' - Edmund M. Clarke (FORE Systems University Professor of Computer Science and Professor of Electrical and Computer Engineering at Carnegie Mellon University). 'Bounded Model Checking (BMC) of computer hardware is now probably the most widely used model checking technique. The counterexamples that it finds are just satisfying instances of a Boolean formula obtained by unwinding to some fixed depth a sequential circuit and its specification in linear temporal logic. Extending model checking to software verification is a much more difficult problem on the frontier of current research. One promising approach for languages like C with finite word-length integers is to use the same idea as in BMC but with a decision procedure for the theory of bit-vectors instead of SAT. All decision procedures for bit-vectors that I am familiar with ultimately make use of a fast SAT solver to handle complex formulas' - Edmund M. Clarke (FORE Systems University Professor of Computer Science and Professor of Electrical and Computer Engineering at Carnegie Mellon University). 'Decision procedures for more complicated theories, like linear real and integer arithmetic, are also used in program verification. Most of them use powerful SAT solvers in an essential way. Clearly, efficient SAT solving is a key technology for 21st century computer science. I expect this collection of papers on all theoretical and practical aspects of SAT solving will be extremely useful to both students and researchers and will lead to many further advances in the field' - Edmund M. Clarke (FORE Systems University Professor of Computer Science and Professor of Electrical and Computer Engineering at Carnegie Mellon University).

Publisher: IOS Press
ISBN: 9781586039295
Number of pages: 980
Dimensions: 168 x 241 x 63 mm

You may also be interested in...

Superintelligence
Added to basket
£18.99
Hardback
Patterns in Java
Added to basket
£29.99
Paperback
Machine Learning for Hackers
Added to basket
Programming Computer Vision with Python
Added to basket
Machine Learning
Added to basket
£37.99
Paperback
The Singularity Is Near
Added to basket
Probabilistic Robotics
Added to basket
Thoughtful Machine Learning
Added to basket
The Sciences of the Artificial
Added to basket
The Elements of Statistical Learning
Added to basket
Artificial Intelligence: The Basics
Added to basket
Understanding Machine Learning
Added to basket
Dark Pools
Added to basket
£9.99
Paperback
Machine Learning
Added to basket
£39.99
Paperback

Please sign in to write a review

Your review has been submitted successfully.