- Tytuł:
- Partitioning Search Spaces of a Randomized Search
- Autorzy:
-
Hyvärinen, A. E. J.
Junttila, T.
Niemelä, I. - Data publikacji:
- 2011
- Słowa kluczowe:
-
SAT solving
randomized search
distributed constraint-based search - Pokaż więcej
- Dostawca treści:
- BazTech