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 Knowledge Production in Organizations by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Dynamics of Pre-Strained Bi-Material Elastic Systems by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Learning Technology for Education Challenges by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Statistical Atlases and Computational Models of the Heart. ACDC and MMWHS Challenges by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Bone and Cartilage Regeneration by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Risk Based Assessment of Subsynchronous Resonance in AC/DC Systems by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Gamer Psychology and Behavior by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Enterprise Resource Planning, Corporate Governance and Internal Auditing by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Bacilli and Agrobiotechnology by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Education and Youth Agency by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Digital Economy. Emerging Technologies and Business Innovation by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Reversible Computation by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Mobile Networks for Biometric Data Analysis by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Synthesis of Heterocycles in Contemporary Medicinal Chemistry by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Meta-metaphysics 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