Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms - Justyna Petke - Livros - Springer International Publishing AG - 9783319373645 - 22 de outubro de 2016
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 Softcover reprint of the original 1st ed. 2015 edition

Justyna Petke

Preço
S$ 85
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 4 - 11 de set
Adicione à sua lista de desejos do iMusic

Também disponível como:

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

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, 13 Tables, black and white; 19 Illustrations, black and white; XI, 113 p. 19 illus.

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 22 de outubro de 2016
ISBN13 9783319373645
Editoras Springer International Publishing AG
Páginas 113
Dimensões 190 g