.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Constraint Solving and Planning with Picat (SpringerBriefs in Intelligent Systems)
Zhou, Neng-Fa, Kjellerstrand, Håkan, Fruhman, Jonathan
€ 65.50
FREE Delivery in Ireland
Description for Constraint Solving and Planning with Picat (SpringerBriefs in Intelligent Systems)
Paperback. Series: SpringerBriefs in Intelligent Systems. Num Pages: 139 pages, 34 black & white illustrations, 5 colour illustrations, 7 black & white tables, 5 colour. BIC Classification: UNF; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
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.
Product Details
Format
Paperback
Publication date
2015
Publisher
Springer
Condition
New
Series
SpringerBriefs in Intelligent Systems
Number of Pages
148
Place of Publication
Cham, Switzerland
ISBN
9783319258812
SKU
V9783319258812
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Constraint Solving and Planning with Picat (SpringerBriefs in Intelligent Systems)