Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms - Justyna Petke - Libros - Springer International Publishing AG - 9783319218090 - 19 de agosto de 2015
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
€ 49,99

Pedido desde almacén remoto

Entrega prevista 31 de jul. - 10 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Justyna Petke
Añadir a tu lista de deseos de iMusic

Aún no valorado

También disponible 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

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 19 de agosto de 2015
ISBN13 9783319218090
Editores Springer International Publishing AG
Páginas 113
Dimensiones 155 × 235 × 10 mm   ·   358 g
Lengua Francés  

Más del mismo editor