£85.39

This is the most expensive it has ever been. Walk away.

£85 today · previous high £85 · all-time low £84

Springer SAT 2005: Satisfiability Research in the Year 2005

Amazon

Price History & Forecast

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

Last 57 days · 57 data points (no recent data)

Historical
Generating forecast…
£85.39 £83.56 £83.96 £84.36 £84.76 £85.16 £85.56 25 July 2026 08 August 2026 22 August 2026 05 September 2026 19 September 2026
View at Amazon ↗

Price data last checked 34 day(s) ago - refreshing...

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 Distribution

Price distribution over 57 days • 2 price levels

Days at Price
Current Price
13 days 44 days · current 0 11 22 33 44 £84 £85 Days at Price

Price Analysis

Most common price: £85 (44 days, 77.2%)

Price range: £84 - £85

Price levels: 2 different prices over 57 days

Description

This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. The core of many reasoning problems in automated deduction are propositional. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. In 1957, Allen Newell and Herb Simon introduced the Logic Theory Machine to prove propositional theorems from Whitehead and Russel's "Principia mathematica". In 1960, Martin Davis and Hillary Putnam introduced their eponymous decision procedure for satisfiability reasoning (though, for space reasons, it was quickly superseded by the modified procedure proposed by Martin Davis, George Logemann and Donald Loveland two years later). In 1971, Stephen Cook's proof that propositional satisfiability is NP-Complete placed satisfiability as the cornerstone of complexity theory.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
30 October 2006
Listed Since
18 January 2007

Barcode

No barcode data available

Similar Products You Might Like

SAT 2005: Satisfiability Research - Springer AI Computing
99% match

SAT 2005: Satisfiability Research - Springer AI Computing

Springer

£108.60 10 Sep 2026
Handbook of Satisfiability: Second Edition (Frontiers in Artificial Intelligence and Applications (IOS Press))
97% match

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

Sage Publishing

£161.09 25 Aug 2026
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)
96% 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
Satisfiability Problem: Theory and Applications (Series in Discrete Mathematics and Theoretical Computer Science)
96% match

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

£143.89 21 Aug 2026
Logic for Computer Science and Artificial Intelligence
96% match

Logic for Computer Science and Artificial Intelligence

Wiley

£91.12 01 Oct 2026
Springer Decision Procedures - Algorithmic Computer Science Book
96% match

Springer Decision Procedures - Algorithmic Computer Science Book

Springer

£29.52 22 Oct 2026
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
96% match

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

Springer

£47.61 26 Sep 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
96% match

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Springer

£49.76 11 Sep 2026
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)
96% match

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

Springer

£108.75 24 Sep 2026
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
96% match

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

Springer

£103.00 23 Sep 2026
Mathematical Logic through Python
96% match

Mathematical Logic through Python

Cambridge University Press

£61.99 23 Sep 2026
Introduction to Mathematical Logic: Extended Edition
96% match

Introduction to Mathematical Logic: Extended Edition

World Scientific Publishing Company

£71.00 17 Sep 2026
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)
96% 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
Symbolic Logic (Palgrave Philosophy Today)
96% match

Symbolic Logic (Palgrave Philosophy Today)

MACMILLAN

£43.18 22 Sep 2026
Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
96% match

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

CRC Press

£74.23 19 Sep 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
96% match

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Springer

£151.20 24 Sep 2026
The Logic of Sortals: A Conceptualist Approach: 408 (Synthese Library, 408)
96% match

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

Springer

£61.01 13 Sep 2026
Three-valued paraconsistent logics and their extensions: Three-valued paraconsistent logics
96% match

Three-valued paraconsistent logics and their extensions: Three-valued paraconsistent logics

£199.30 02 Sep 2026
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
96% match

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Birkhauser

£46.71 01 Oct 2026
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
96% match

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Cambridge University Press

£46.55 12 Sep 2026
Proof Complexity Generators: Series Number 497 (London Mathematical Society Lecture Note Series, Series Number 497)
96% match

Proof Complexity Generators: Series Number 497 (London Mathematical Society Lecture Note Series, Series Number 497)

Cambridge University Press

£41.99 09 Sep 2026
Logical Foundations of Proof Complexity (Perspectives in Logic)
96% match

Logical Foundations of Proof Complexity (Perspectives in Logic)

Cambridge University Press

£60.00 08 Sep 2026
Fragments of First-Order Logic - Oxford Logic Guides
95% match

Fragments of First-Order Logic - Oxford Logic Guides

Oxford University Press

£135.95 03 Oct 2026