Title:
Constraint Solving and Planning with Picat
Author:
Zhou, Neng-Fa. author.
ISBN:
9783319258836
Edition:
1st ed. 2015.
Physical Description:
XI, 148 p. 40 illus., 31 illus. in color. online resource.
Series:
SpringerBriefs in Intelligent Systems, Artificial Intelligence, Multiagent Systems, and Cognitive Robotics,
Contents:
An Overview of Picat -- Basic Constraint Modeling -- Advanced Constraint Modeling -- Dynamic Programming with Tabling -- From Dynamic Programming to Planning -- Planning with Resource-Bounded Search -- Encodings for the Traveling Salesman Problem -- Index.
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-319-25883-6Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 518437-1001 | XX(518437.1) | Searching... | Searching... |