Items related to Constraint Solving and Planning with Picat: 0 (SpringerBrief...
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: 0 (SpringerBrief...
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
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
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 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
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
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
Seller Image
Constraint Solving and Planning with Picat
Published by
Springer International Publishing, 2015
ISBN 10: 3319258818
ISBN 13: 9783319258812
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Appropriate for undergraduate and graduate students, researchers, and practitioners Authors combine academic and practical developer community experience Exercises encourage readers to practice the presented modeling techniquesThis bo. Seller Inventory # 74745354
Quantity: Over 20 available
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
Stock Image
Constraint Solving and Planning With Picat
Published by
Springer-Verlag New York Inc, 2015
ISBN 10: 3319258818
ISBN 13: 9783319258812
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 160 pages. 9.25x6.10x0.47 inches. In Stock. Seller Inventory # x-3319258818
Quantity: 2 available