Constraint Solving and Planning with Picat (SpringerBriefs in Intelligent Systems #0)
By: and and
Sign Up Now!
Already a Member? Log In
You must be logged into Bookshare to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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.
- Copyright:
- 2015
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783319258836
- Related ISBNs:
- 9783319258812
- Publisher:
- Springer International Publishing, Cham
- Date of Addition:
- 07/20/18
- Copyrighted By:
- Springer
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.