We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£111.51
Springer SAT 2005: Satisfiability Research in the Year 2005
Price data last checked 25 day(s) ago - will refresh soon
We'll watch every seller, every day. One email when your price arrives.
About as cheap as it gets. The only time it was cheaper was 2 months ago.
£112 today · all-time low £110 (May 2026) · usually £112
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
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
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 66 days · 66 data points (no recent data)
Price Distribution
Price distribution over 66 days • 4 price levels
Price Analysis
Most common price: £111 (27 days, 40.9%)
Price range: £110 - £113
Price levels: 4 different prices over 66 days
Description
Key Features
Covers recent progress in solving propositional satisfiability and related computational problems.
Explores the use of propositional satisfiability as a general formalism for hardware and software verification.
Provides research insights into methods for automating reasoning within the field of artificial intelligence.
Acts as a follow-up to the successful SAT 2000 volume for continued study in the field.
Offers a deep dive into the development of solving complex logic-based problems in computing.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 9400787154
- Domain
- Amazon UK
- Release Date
- 03 December 2014
- Listed Since
- 03 December 2014
Barcode
No barcode data available
Similar Products You Might Like
SAT 2005: Satisfiability Research in the Year 2005
Springer
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
Logic for Computer Science and Artificial Intelligence
Wiley
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)
Springer
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
Mathematical Logic through Python
Cambridge University Press
Introduction to Mathematical Logic: Extended Edition
World Scientific Publishing Company
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
Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
CRC Press
Symbolic Logic (Palgrave Philosophy Today)
MACMILLAN
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
Springer
Three-valued paraconsistent logics and their extensions: Three-valued paraconsistent logics
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
Birkhauser
The Logic of Sortals: A Conceptualist Approach: 408 (Synthese Library, 408)
Springer
Logical Foundations of Proof Complexity (Perspectives in Logic)
Cambridge University Press
Proof Complexity Generators: Series Number 497 (London Mathematical Society Lecture Note Series, Series Number 497)
Cambridge University Press
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Cambridge University Press