Constraint Solving and Planning with Picat
Zhou, Neng-Fa, Kjellerstrand, Håkan, Fruhman, Jonathan
Produktnummer:
1830a282b281744cae96c6ae26dd4d3177
Autor: | Fruhman, Jonathan Kjellerstrand, Håkan Zhou, Neng-Fa |
---|---|
Themengebiete: | Combinatorial Search Constraint Programming (CP) Dynamic Programming Functional Programming Heuristics Logic Programming Mixed-Integer Programming (MIP) Picat SAT Scripting |
Veröffentlichungsdatum: | 16.11.2015 |
EAN: | 9783319258812 |
Sprache: | Englisch |
Seitenzahl: | 148 |
Produktart: | Kartoniert / Broschiert |
Verlag: | Springer International Publishing |
Produktinformationen "Constraint Solving and Planning with Picat"
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.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen