Constraint Solving and Planning with Picat - Couverture souple

Zhou, Neng-Fa; Kjellerstrand, Håkan; Fruhman, Jonathan

 
9783319258812: Constraint Solving and Planning with Picat
Couverture souple
ISBN 10 : 3319258818 ISBN 13 : 9783319258812
Editeur : Springer, 2015

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2015
Langue
anglais
ISBN 10 
3319258818
ISBN 13 
9783319258812
Reliure
Broché
Numéro d'édition
1
Nombre de pages
160
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783319258829: Constraint Solving and Planning with Picat

Edition présentée

ISBN 10 :  3319258826 ISBN 13 :  9783319258829
Editeur : Springer, 2016
Couverture souple