Handbook of Satisfiability: Second Edition (Frontiers in Artificial Intelligence and Applications (IOS Press)) - Image 1

£146.98

Sage Publications Handbook of Satisfiability: Second Edition (Frontiers in Artificial Intelligence and Applications (IOS Press))

Name: Handbook of Satisfiability: Second Edition (Frontiers in Artificial Intelligence and Applications (IOS Press))
Brand: Sage Publications
Price: 146.98 GBP
Availability: InStock

Computer Science

About as cheap as it gets. The only time it was cheaper was 10 months ago.

£147 today · all-time low £143 (Jul 2025) · usually the usual

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

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 270 days • 270 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 270 days • 5 price levels

Days at Price

Current Price

Price Analysis

Most common price: £143 (122 days, 45.2%)

Price range: £143 - £226

Price levels: 5 different prices over 270 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 Publications
Format: Hardcover
ASIN: 1643681605
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 19 May 2021
Listed Since: 16 February 2021

Barcode

No barcode data available

Sage Publications Handbook of Satisfiability: Second Edition (Frontiers in Artificial Intelligence and Applications (IOS Press))

About as cheap as it gets. The only time it was cheaper was 10 months ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Satisfiability Problem: Theory and Applications (Series in Discrete Mathematics and Theoretical Computer Science)

SAT 2005: Satisfiability Research in the Year 2005

Springer SAT 2005: Satisfiability Research in the Year 2005

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)

1000 New SAT Math Problems arranged by Topic and Difficulty Level: 1000 Problems with Full Explanations for the New SAT

1000 New SAT Math Problems arranged by Topic and Difficulty Level: 1000 Problems with Full Explanations for the New SAT

The Logic of Sortals: A Conceptualist Approach: 408 (Synthese Library, 408)

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

Art of Computer Programming, The, Volumes 1-4B, Boxed Set: Fundamental Algorithms / Seminumerical Algorithms / Sorting and Searching / Combinatorial ... Part 1 / Combinatorial Algorithms, Part 2

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)

Test Pattern Generation using Boolean Proof Engines

Combinatorial Set Theory: With a Gentle Introduction to Forcing (Springer Monographs in Mathematics)

KS2 SATs Maths and English Ultimate Bundle: Ages 10-11, Year 6(for the 2026 tests)

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science, 12167)

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I: 12166 (Lecture Notes in Computer Science, 12166)

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

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)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Symbolic Logic (Palgrave Philosophy Today)

Logic for Computer Science and Artificial Intelligence

Lectures in Logic and Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

Introduction to Mathematical Logic: Extended Edition

A Formalization of Set Theory without Variables (Colloquium Publications)