Gå direkt till innehållet
  1. Böcker
  2. Böcker på engelska

Bridging Constraint Satisfaction and Boolean Satisfiability

651 kr
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
Petke Justyna
Upplaga
15001
ISBN
9783319218090
Språk
engelska
Vikt
518 gram
Utgivningsdatum
2015-08-19
Sidor
113