Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms - Justyna Petke - Livros - Springer International Publishing AG - 9783319218090 - 19 de agosto de 2015
Caso a capa e o título não sejam correspondentes, considere o título como correto

Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms 1st ed. 2015 edition

Preço
€ 61,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 11 - 25 de ago
Receba avisos sobre novos lançamentos de Justyna Petke
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Também disponível como:

This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers.


113 pages, 19 black & white illustrations, 13 black & white tables, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 19 de agosto de 2015
ISBN13 9783319218090
Editoras Springer International Publishing AG
Páginas 113
Dimensões 155 × 235 × 10 mm   ·   358 g
Idioma Francês  

Mais da mesma editora