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 Factor X by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Gender Differences in the Pathogenesis and Management of Heart Disease by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Urban Ecology, Water Quality and Climate Change by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Business Information Systems by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Geoenergy Modeling II by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Dynamic Response of Infrastructure to Environmentally Induced Loads by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Swarm Intelligence by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Social, Political and Cultural Dimensions of Health by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Source Separation and Recycling by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Data Mining and Constraint Programming by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Radio Telescope Reflectors by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Total Hip Replacement by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Models, Mindsets, Meta: The What, the How, and the Why Not? by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Computational Science and Its Applications - ICCSA 2016 by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Policing in Russia 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