Tallenna
Bridging Constraint Satisfaction and Boolean Satisfiability
Kirjailija:
nidottu, 2016
englanti
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.
- Kirjailija
- Justyna Petke
- Painos
- Softcover reprint of the original 1st ed. 2015
- ISBN
- 9783319373645
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 22.10.2016
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 113
