Bøger af Justyna Petke
Filter
Sorter efterSorter
Populære
-
572,95 - 671,95 kr. 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.
- Bog
- 572,95 kr.