Spar
Bridging Constraint Satisfaction and Boolean Satisfiability
Forfatter:
heftet, 2016
Engelsk
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.
- Forfatter
- Justyna Petke
- Opplag
- Softcover reprint of the original 1st ed. 2015
- ISBN
- 9783319373645
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 22.10.2016
- Antall sider
- 113
