Browsing by Keyword "multi-search"

Now showing items 1-2 of 2

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