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 Acoustics-A Textbook for Engineers and Physicists by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Studies in the Sociology of Population by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Literary Legacies of the Federal Writers’ Project by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book In Search of a Simple Introduction to Communication by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book HCI International 2018 – Posters' Extended Abstracts by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Constructions of Self and Other in Yoga, Travel, and Tourism by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Neutral Atom Imaging Using a Pulsed Electromagnetic Lens by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Global Surgery by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Advances in Computational Fluid-Structure Interaction and Flow Simulation by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Astronomy for Older Eyes by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Parallel Computational Technologies by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Advanced Multipoles for Accelerator Magnets by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Smart Card Research and Advanced Applications by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Writing Feminist Lives by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
Cover of the book Advances in Human Factors in Simulation and Modeling 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