We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£161.09
It has never been this cheap. We have no record of a lower price.
£161 today · cheaper than every other day in the last 3 months
Sage Publishing Handbook of Satisfiability: Second Edition (Frontiers in Artificial Intelligence and Applications (IOS Press))
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 32 days · 32 data points (no recent data)
Historical
Generating forecast…
NEW HERE?
Amazon shows you one price. We show you all of them.
Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.
WHAT'S ON THIS PAGE
↑ Price chart
when this has been cheap or pricey
when this has been cheap or pricey
↑ Forecast
where the price is heading next
where the price is heading next
↓ Statistics
all-time high & low, recent range
all-time high & low, recent range
↑ Price alert
name your number, we'll email you
name your number, we'll email you
Price Distribution
Price distribution over 32 days • 1 price levels
Price Analysis
Most common price: £161 (32 days, 100.0%)
Price range: £161 - £161
Price levels: 1 different prices over 32 days
Description
Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formalization into Boolean algebra was accompanied by the recognition that a wide range of combinatorial problems can be expressed as propositional satisfiability (SAT) problems. Because of this dual role, SAT developed into a mature, multi-faceted scientific discipline, and from the earliest days of computing a search was underway to discover how to solve SAT problems in an automated fashion. This book, the Handbook of Satisfiability, is the second, updated and revised edition of the book first published in 2009 under the same name. The handbook aims to capture the full breadth and depth of SAT and to bring together significant progress and advances in automated solving. Topics covered span practical and theoretical research on SAT and its applications and include search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, simplifiers, tools, case studies and empirical results. SAT is interpreted in a broad sense, so as well as propositional satisfiability, there are chapters covering the domain of quantified Boolean formulae (QBF), constraints programming techniques (CSP) for word-level problems and their propositional encoding, and satisfiability modulo theories (SMT). An extensive bibliography completes each chapter. This second edition of the handbook will be of interest to researchers, graduate students, final-year undergraduates, and practitioners using or contributing to SAT, and will provide both an inspiration and a rich resource for their work. Edmund Clarke, 2007 ACM Turing Award Recipient: ""SAT solving is a key technology for 21st century computer science."" Donald Knuth, 1974 ACM Turing Award Recipient: ""SAT is evidently a killer app, because it is key to the solution of so many other problems."" Stephen Cook, 1982 ACM Turing Award Recipient: ""The SAT problem is at the core of arguably the most fundamental question in computer science: What makes a problem hard?""
Product Specifications
- Brand
- Sage Publishing
- Format
- hardcover
- ASIN
- 1643681605
- Domain
- Amazon UK
- Release Date
- 19 May 2021
- Listed Since
- 16 February 2021
Barcode
No barcode data available
Similar Products You Might Like
97% match
Satisfiability Problem: Theory and Applications (Series in Discrete Mathematics and Theoretical Computer Science)
£143.89
21 Aug 2026
97% match
SAT 2005: Satisfiability Research in the Year 2005
Springer
£85.39
19 Sep 2026
97% match
SAT 2005: Satisfiability Research - Springer AI Computing
Springer
£108.60
10 Sep 2026
97% match
Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings: 12831 (Lecture Notes in Computer Science, 12831)
Springer
£85.07
08 Sep 2026
96% match
1000 New SAT Math Problems arranged by Topic and Difficulty Level: 1000 Problems with Full Explanations for the New SAT
Get 800 LLC
£55.45
04 Sep 2026
95% match
The Logic of Sortals: A Conceptualist Approach: 408 (Synthese Library, 408)
Springer
£61.01
13 Sep 2026
95% match
Pearson The Art of Computer Programming Volumes 1-4B Set
PEARSON EDUCATION
£187.90
21 Aug 2026
95% match
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)
Springer
£108.75
24 Sep 2026
95% match
Test Pattern Generation using Boolean Proof Engines
Springer
£73.84
29 Sep 2026
95% match
KS2 SATs Maths and English Ultimate Bundle: Ages 10-11, Year 6 (for the 2027 tests)
Schofield & Sims
£42.76
02 Sep 2026
95% match
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science, 12167)
Springer
£58.17
02 Oct 2026
95% match
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Springer
£47.61
26 Sep 2026
95% match
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I: 12166 (Lecture Notes in Computer Science, 12166)
Springer
£61.69
18 Sep 2026
95% match
Springer Decision Procedures - Algorithmic Computer Science Book
Springer
£29.52
22 Oct 2026
95% match
Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)
Cambridge University Press
£49.99
24 Sep 2026
95% match
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
£103.00
23 Sep 2026
95% match
Symbolic Logic (Palgrave Philosophy Today)
MACMILLAN
£43.18
22 Sep 2026
95% match
Logic for Computer Science and Artificial Intelligence
Wiley
£91.12
01 Oct 2026
94% match
Lectures in Logic and Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)
Cambridge University Press
£59.89
08 Sep 2026
94% match
Introduction to Mathematical Logic: Extended Edition
World Scientific Publishing Company
£71.00
17 Sep 2026
94% match
Incomplete Information: Rough Set Analysis: 13 (Studies in Fuzziness and Soft Computing, 13)
Springer
£114.71
24 Sep 2026
94% match
Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
CRC Press
£74.23
19 Sep 2026
94% match
Set Theory: Boolean-Valued Models and Independence Proofs (Oxford Logic Guides): 47
Oxford University Press
£48.60
11 Sep 2026
94% match
Programming Constraint Services: High-Level Programming of Standard and New Constraint Services: 2302 (Lecture Notes in Computer Science, 2302)
Springer
£43.87
29 Sep 2026