Constraint Solving and Planning with Picat PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Constraint Solving and Planning with Picat PDF full book. Access full book title Constraint Solving and Planning with Picat by Neng-Fa Zhou. Download full books in PDF and EPUB format.

Constraint Solving and Planning with Picat

Constraint Solving and Planning with Picat PDF Author: Neng-Fa Zhou
Publisher: Springer
ISBN: 3319258834
Category : Computers
Languages : en
Pages : 155

Get Book Here

Book Description
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.