Cover image for Constraint Solving and Planning with Picat
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:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 518437-1001 XX(518437.1)
Searching...

On Order