BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS
eBook
Constraint Solving and Planning with Picat
Springer Nature Switzerland
ISBN 978-3-319-25883-6
Standardpreis
Bibliografische Daten
eBook. PDF
2015
XI, 148 p. 40 illus., 31 illus. in color..
In englischer Sprache
Umfang: 148 S.
Verlag: Springer Nature Switzerland
ISBN: 978-3-319-25883-6
Weiterführende bibliografische Daten
Das Werk ist Teil der Reihe: SpringerBriefs in Intelligent Systems
Produktbeschreibung
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.
Autorinnen und Autoren
Produktsicherheit
Hersteller
Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg, DE
ProductSafety@springernature.com
Rezensionen
