Constraint Solving and Planning with Picat: 0 (SpringerBriefs in Intelligent Systems) - Softcover

Zhou, Neng-Fa; Kjellerstrand, Håkan; Fruhman, Jonathan

 
9783319258812: Constraint Solving and Planning with Picat: 0 (SpringerBriefs in Intelligent Systems)
Softcover
ISBN 10: 3319258818 ISBN 13: 9783319258812
Publisher: Springer, 2015

Synopsis

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.

"synopsis" may belong to another edition of this title.

From the Back Cover

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.

"About this title" may belong to another edition of this title.

Publisher
Springer
Publication date
2015
Language
English
ISBN 10 
3319258818
ISBN 13 
9783319258812
Binding
Paperback
Edition number
1
Number of pages
159

Other Popular Editions of the Same Title

9783319258829: Constraint Solving and Planning with Picat

Featured Edition

ISBN 10:  3319258826 ISBN 13:  9783319258829
Publisher: Springer, 2016
Softcover