Text

Constraint solving and planning with Picat

---

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

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

006.3

Publisher

Cham : Springer., 2015

Collation

xi, 148 pages

Language

English

ISBN/ISSN

9783319258836

Classification

006.3

Content Type

-

Media Type

-

Carrier Type

online resource

Edition

-

Subject(s)

Artificial Intelligence

Specific Detail Info

-

Statement of Responsibility

-

Other Information

Cataloger

Kurnadi

Source

-

Validator

-

Digital Object Identifier (DOI)

-

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment