Constraint Solving and Planning with Picat

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, Computer Science, General Computing
Cover of the book Constraint Solving and Planning with Picat by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman ISBN: 9783319258836
Publisher: Springer International Publishing Publication: November 7, 2015
Imprint: Springer Language: English
Author: Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
ISBN: 9783319258836
Publisher: Springer International Publishing
Publication: November 7, 2015
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Nuclear Endocrinology by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Wittgenstein's Anthropological Philosophy by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Security Issues in Mobile NFC Devices by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Complex Systems Design & Management Asia by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Taxation and Development - A Comparative Study by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Solar Photovoltaics by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Quodons in Mica by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Product Lifecycle Management in the Era of Internet of Things by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Female Sexual Function and Dysfunction by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Victorian Soul-Talk by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Learning Vocabulary Strategically in a Study Abroad Context by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Mathematical Concepts by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Metastatic Neoplasms in Fine-Needle Aspiration Cytology by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book RoboCup 2015: Robot World Cup XIX by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Reversible Computation by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy