@book{11a54e4d57c4485aaca3ea515397a697,
title = "Partitioning Search Spaces of a Randomized Search",
keywords = "constraint-based search, distributed search, randomized search, SAT solvers, search-space partitioning, constraint-based search, distributed search, randomized search, SAT solvers, search-space partitioning, constraint-based search, distributed search, randomized search, SAT solvers, search-space partitioning",
author = "Hyv{\"a}rinen, {Antti E.J.} and Tommi Junttila and Ilkka Niemel{\"a}",
year = "2009",
language = "English",
isbn = "978-952-248-230-3",
series = "TKK reports in information and computer science",
publisher = "Teknillinen korkeakoulu",
number = "TKK-ICS-R22",
}