Items related to Constraint Solving and Planning with Picat (SpringerBriefs...
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.
Search results for Constraint Solving and Planning with Picat (SpringerBriefs...
Stock Image
Constraint Solving and Planning with Picat
Seller: Mahler Books, PFLUGERVILLE, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. This book is in very good condition; no remainder marks. It does have some cover shelfwear. Inside pages are clean. ; Springerbriefs In Intelligent Systems; 6.1 X 0.38 X 9.25 inches; 159 pages. Seller Inventory # 01SA24-123-290
Quantity: 1 available
Seller Image
Constraint Solving and Planning With Picat
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 24737559-n
Quantity: Over 20 available
Stock Image
Constraint Solving and Planning with Picat (SpringerBriefs in Intelligent Systems)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020091932
Quantity: Over 20 available
Stock Image
Constraint Solving and Planning with Picat (SpringerBriefs in Intelligent Systems)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783319258812
Quantity: Over 20 available
Stock Image
Constraint Solving and Planning with Picat (SpringerBriefs in Intelligent Systems)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In English. Seller Inventory # ria9783319258812_new
Quantity: Over 20 available
Stock Image
Constraint Solving and Planning with Picat
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783319258812
Quantity: 10 available
Seller Image
Constraint Solving and Planning With Picat
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 24737559-n
Quantity: Over 20 available
Seller Image
Constraint Solving and Planning with Picat
Published by
Springer International Publishing, Springer Nature Switzerland Nov 2015, 2015
ISBN 10: 3319258818
ISBN 13: 9783319258812
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 forplanning that is implemented using tabling. The book is useful for undergraduate and graduate students, researchers, and practitioners. 160 pp. Englisch. Seller Inventory # 9783319258812
Quantity: 2 available
Stock Image
Constraint Solving and Planning With Pi (Springerbriefs in Intelligent Systems)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. Seller Inventory # 26372786616
Quantity: 4 available
Seller Image
Constraint Solving and Planning with Picat
Published by
Springer International Publishing, Springer Nature Switzerland, 2015
ISBN 10: 3319258818
ISBN 13: 9783319258812
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 forplanning that is implemented using tabling. The book is useful for undergraduate and graduate students, researchers, and practitioners. Seller Inventory # 9783319258812
Quantity: 1 available