Spara
Bridging Constraint Satisfaction and Boolean Satisfiability
Författare:
häftad, 2016
Engelska
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
- Softcover reprint of the original 1st ed. 2015
- ISBN
- 9783319373645
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2016-10-22
- Sidor
- 113
