Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications

A. Biere

Published by IOS Press, 2009
ISBN 10: 1586039296 / ISBN 13: 9781586039295
Used / Hardcover / Quantity Available: 0
Available From More Booksellers
View all  copies of this book

About the Book

We're sorry; this specific copy is no longer available. AbeBooks has millions of books. We've listed similar copies below.


We ship International with Tracking Number! May not contain Access Codes or Supplements. Buy with confidence, excellent customer service! L. Bookseller Inventory #

About this title:

Book ratings provided by Goodreads:
4 avg rating
(1 ratings)

Synopsis: '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. 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. 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 Clarke (Winner of the 2007 A.M. Turing Award & FORE Systems University Professor of Computer Science and Professor of Electrical and Computer Engineering at Carnegie Mellon University)

IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields.

Some of the areas we publish in:

-Artificial intelligence
-Databases and information systems
-Maritime engineering
-All aspects of physics
-E-governance -E-commerce
-The knowledge economy
-Urban studies
-Arms control
- Understanding and responding to terrorism
- Medical informatics
- Computer Sciences

"About this title" may belong to another edition of this title.

Bibliographic Details

Title: Handbook of Satisfiability: Volume 185 ...
Publisher: IOS Press
Publication Date: 2009
Binding: Hardcover
Book Condition: Used: Good

Top Search Results from the AbeBooks Marketplace


A. Biere
Published by IOS Press 2009-02-15 (2009)
ISBN 10: 1586039296 ISBN 13: 9781586039295
Used Hardcover Quantity Available: 1
Lost Books

Book Description IOS Press 2009-02-15, 2009. Hardcover. Book Condition: good. 1586039296. Bookseller Inventory # 532376

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 327.05
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds