Constraint Solving and Planning with Picat - Logic Programming - Image 1

£43.92

Springer Constraint Solving and Planning with Picat - Logic Programming

Name: Constraint Solving and Planning with Picat - Logic Programming
Brand: Springer
Price: 43.92 GBP
Availability: InStock

AI & Machine Learning

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

£44 today · previous high £44 · all-time low £44

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 15 days · 15 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 15 days • 1 price levels

Days at Price

Price Analysis

Most common price: £44 (15 days, 100.0%)

Price range: £44 - £44

Price levels: 1 different prices over 15 days

Description

Constraint Solving and Planning with Picat introduces a logic-based multi-paradigm programming language that combines logic programming, functional programming, dynamic programming with tabling, and scripting for solving combinatorial search problems. This SpringerBriefs volume covers CP, SAT, and MIP solver modules alongside a tabling-based planning module, making it an essential resource for undergraduate and graduate students pursuing advanced work in artificial intelligence and constraint optimisation. Researchers and practitioners developing intelligent systems will find practical approaches to complex problem-solving using Picat's integrated framework. The book bridges theoretical foundations and real-world applications in computational logic and automated reasoning.

Key Features

Picat integrates logic programming, functional programming, dynamic programming with tabling, and scripting into a single multi-paradigm language.

The book covers CP, SAT, and MIP solver modules designed for tackling combinatorial search and optimisation problems.

A dedicated planning module implemented using tabling enables efficient reasoning over state spaces.

SpringerBriefs format provides accessible yet rigorous coverage suitable for students and industry practitioners alike.

Combines theoretical foundations with practical guidance for solving real-world constraint and planning challenges.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3319258818
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 05 December 2015
Listed Since: 16 September 2015

Barcode

No barcode data available

Springer Constraint Solving and Planning with Picat - Logic Programming

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Logic-Based 0–1 Constraint Programming: 5 (Operations Research/Computer Science Interfaces Series, 5)

Principles and Practice of Constraint Programming: Second International Workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2 - 4, 1994. Proceedings: 874 (Lecture Notes in Computer Science, 874)

Principles and Practice of Constraint Programming - CP '95: First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings: 976 (Lecture Notes in Computer Science, 976)

Logic-Based 0–1 Constraint Programming: 5 (Operations Research/Computer Science Interfaces Series, 5)

Principles of Constraint Programming

Constraint and Integer Programming - Unified Methodology Guide

Principles and Practice of Constraint Programming: 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, ... (Lecture Notes in Computer Science, 12333)

Principles and Practice of Constraint Programming - CP 2001: 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, ... (Lecture Notes in Computer Science, 2239)

Principles and Practice of Constraint Programming - CP 2006: 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings: 4204 (Lecture Notes in Computer Science, 4204)

Principles of Constraint Programming

Hybrid Metaheuristics: Powerful Tools for Optimization (Artificial Intelligence: Foundations, Theory, and Algorithms)

Principles and Practice of Constraint Programming - CP98: 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings: 1520 (Lecture Notes in Computer Science, 1520)

Integer Programming and Combinatorial Optimization: 25th International Conference, IPCO 2024, Wroclaw, Poland, July 3–5, 2024, Proceedings: 14679 (Lecture Notes in Computer Science, 14679)

Principles and Practice of Constraint Programming -- CP 2011: 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011, Proceedings

Combinatorial Optimization: 7th International Symposium, ISCO 2022, Virtual Event, May 18–20, 2022, Revised Selected Papers: 13526 (Lecture Notes in Computer Science, 13526)

A First Course in Combinatorial Optimization: 36 (Cambridge Texts in Applied Mathematics, Series Number 36)

Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings (Lecture Notes in Computer Science): 2470

Springer Combinatorial Optimization - Polyhedra and Efficiency

Introduction to Combinatorial Optimization: 196 (Springer Optimization and Its Applications, 196)

Optimization and Computational Logic (Wiley Series in Discrete Mathematics and Optimization)

Integer Programming: 271 (Graduate Texts in Mathematics, 271)

Paradigms of Combinatorial Optimization: Problems and New Approaches, Volume 2

Decision Diagrams for Optimization (Artificial Intelligence: Foundations, Theory, and Algorithms)

Essentials of Constraint Programming (Cognitive Technologies)