10% de desconto

Constraint Solving And Planning With Picat eBook

de Neng-Fa Zhou, Hakan Kjellerstrand e Jonathan Fruhman
idioma: inglês
Editor: Springer International Publishing, novembro de 2015 ‧
66,24€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para ADE

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.

Constraint Solving And Planning With Picat

de Neng-Fa Zhou, Hakan Kjellerstrand e Jonathan Fruhman

Propriedade Descrição
ISBN: 9783319258836
Editor: Springer International Publishing
Data de Lançamento: novembro de 2015
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade: PDF para ADE
Coleção: Springerbriefs In Intelligent Systems
Classificação Temática: eBooks em Inglês > Ciências Exatas e Naturais > Matemática
eBooks em Inglês > Informática > Programação
EAN: 9783319258836

LIVROS DA MESMA COLEÇÃO