Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms - Justyna Petke - Boeken - Springer International Publishing AG - 9783319218090 - 19 augustus 2015
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 52,49

Besteld in een afgelegen magazijn

Verwachte levering 22 - 30 jan.
Voeg toe aan uw iMusic-verlanglijst
of

Ook verkrijgbaar als:

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 Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 19 augustus 2015
ISBN13 9783319218090
Uitgevers Springer International Publishing AG
Pagina's 113
Afmetingen 155 × 235 × 10 mm   ·   358 g
Taal en grammatica Frans