
Conte aos seus amigos sobre este item:
Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms Softcover reprint of the original 1st ed. 2015 edition
Justyna Petke
Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms Softcover reprint of the original 1st ed. 2015 edition
Justyna Petke
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 |
Ver tudo de Justyna Petke ( por exemplo Hardcover Book e Paperback Book )