Gå direkt till innehållet
Bridging Constraint Satisfaction and Boolean Satisfiability
Spara

Bridging Constraint Satisfaction and Boolean Satisfiability

Lägsta pris på PriceRunner

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.

Författare
Justyna Petke
Upplaga
1st ed. 2015
ISBN
9783319218090
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
2015-08-19
Sidor
113