Buch
Constraint Solving and Planning with Picat
Neng-Fa Zhou; Håkan Kjellerstrand; Jonathan Fruhman
58,84
EUR
Lieferzeit 12-13 Tage
Übersicht
Verlag | : | Springer International Publishing |
Buchreihe | : | SpringerBriefs in Intelligent Systems |
Sprache | : | Englisch |
Erschienen | : | 16. 11. 2015 |
Seiten | : | 148 |
Einband | : | Kartoniert |
Höhe | : | 235 mm |
Breite | : | 155 mm |
Gewicht | : | 256 g |
ISBN | : | 9783319258812 |
Sprache | : | Englisch |
Inhaltsverzeichnis
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.