Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms - Justyna Petke - Bøker - Springer International Publishing AG - 9783319218090 - 19. august 2015
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 619

Bestillingsvarer

Forventes levert 26. aug - 9. sep
Få varsel om nye utgivelser fra Justyna Petke
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

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, 19 black & white illustrations, 13 black & white tables, biography

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 19. august 2015
ISBN13 9783319218090
Utgivere Springer International Publishing AG
Antall sider 113
Mål 155 × 235 × 10 mm   ·   358 g
Språk Fransk  

Mer fra samme **utgiver**