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

Precio
$ 65,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 13 de jul.
Añadir a tu lista de deseos de iMusic

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 22 de octubre de 2016
ISBN13 9783319373645
Editores Springer International Publishing AG
Páginas 113
Dimensiones 150 × 220 × 10 mm   ·   190 g

Mere med samme udgiver