Télécharger le livre :  Constraint Solving and Planning with Picat
Ajouter à ma liste d'envies
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...

Editeur : Springer
Parution : 2015-11-07
Collection : SpringerBriefs in Intelligent Systems
PDF, ePub

58,01