Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms - Justyna Petke - Bøker - Springer International Publishing AG - 9783319373645 - 22. oktober 2016
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 629

Bestillingsvarer

Forventes levert 29. jun - 13. jul
Legg til iMusic ønskeliste
eller

Finnes også som:

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.

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 22. oktober 2016
ISBN13 9783319373645
Utgivere Springer International Publishing AG
Antall sider 113
Mål 150 × 220 × 10 mm   ·   190 g

Mere med samme udgiver