Browsing by Keyword "distributed search"

Now showing items 1-4 of 4

Title: Approaches to grid-based SAT solving Author(s): Hyvärinen, Antti E. J. Date: 2009 Series: TKK reports in information and computer science, 16 Faculty of Information and Natural Sciences
Title: Approaches to Grid-Based SAT-Solving Author(s): Hyvärinen, Antti E. J. Date: 2009 Helsinki University of Technology | Licentiate thesis
Title: An extended process automation system : an approach based on a multi-agent system Author(s): Seilonen, Ilkka Date: 2006-02-10 Series: Report / Helsinki University of Technology, Information and Computer Systems in Automation, 11 | Doctoral thesis (monograph)
Title: Partitioning search spaces of a randomized search Author(s): Hyvärinen, Antti E. J.; Junttila, Tommi; Niemelä, Ilkka Date: 2009 Series: TKK reports in information and computer science, 22 Faculty of Information and Natural Sciences