Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms - Justyna Petke - Boeken - Springer International Publishing AG - 9783319373645 - 22 oktober 2016
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 59,49

Besteld in een afgelegen magazijn

Verwachte levering 16 - 27 jan. 2026
Voeg toe aan uw iMusic-verlanglijst

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

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 22 oktober 2016
ISBN13 9783319373645
Uitgevers Springer International Publishing AG
Pagina's 113
Afmetingen 150 × 220 × 10 mm   ·   190 g