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