Constraint Solving and Planning with Picat - Brossura

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

 
9783319258812: Constraint Solving and Planning with Picat
Brossura
ISBN 10: 3319258818 ISBN 13: 9783319258812
Casa editrice: Springer, 2015

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Dalla quarta di copertina

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2015
Lingua
Inglese
ISBN 10 
3319258818
ISBN 13 
9783319258812
Rilegatura
Copertina flessibile
Numero edizione
1
Numero di pagine
160
Contatto del produttore
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Germania

Altre edizioni note dello stesso titolo

9783319258829: Constraint Solving and Planning with Picat

Edizione in evidenza

ISBN 10:  3319258826 ISBN 13:  9783319258829
Casa editrice: Springer, 2016
Brossura