Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms - Justyna Petke - Bøger - Springer International Publishing AG - 9783319373645 - 22. oktober 2016
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Justyna Petke

Pris
R 1.453,75

Bestilles fra fjernlager

Forventes klar til forsendelse 4. - 11. sep.
Tilføj til din iMusic ønskeseddel
Eller

Findes også som:

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

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.

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 22. oktober 2016
ISBN13 9783319373645
Forlag Springer International Publishing AG
Antal sider 113
Mål 190 g