Neng-Fa Zhou,
Håkan Kjellerstrand,
Jonathan Fruhman
Springer International Publishing
e druk, 2015
9783319258812
Constraint Solving and Planning with Picat
Specificaties
Paperback, blz.
|
Engels
Springer International Publishing |
2015
ISBN13: 9783319258812
Rubricering
Onderdeel van serie
SpringerBriefs in Intelligent Systems
Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver modules, and a module for planning that is implemented using tabling.
The book is useful for undergraduate and graduate students, researchers, and practitioners.
Specificaties
ISBN13:9783319258812
Taal:Engels
Bindwijze:paperback
Uitgever:Springer International Publishing
Hoofdrubriek:Programmeren, Computer en informatica
Inhoudsopgave
<p>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.</p>