✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 418.243 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Constraint Solving and Planning with Picat

Constraint Solving and Planning with Picat

von Håkan Kjellerstrand, Jonathan Fruhman und Neng-Fa Zhou
Softcover - 9783319258812
58,84 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

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.

Details

Verlag Springer International Publishing
Ersterscheinung 16. November 2015
Maße 23.5 cm x 15.5 cm
Gewicht 254 Gramm
Format Softcover
ISBN-13 9783319258812
Auflage 1st ed. 2015
Seiten 148

Herstellerinformationen +