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

Bridging Constraint Satisfaction and Boolean Satisfiability

572 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
ISBN
9783319373645
Språk
engelska
Vikt
281 gram
Utgivningsdatum
2016-10-22
Sidor
113