Browsing by Keyword "propositional satisfiability"

Now showing items 1-3 of 3

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: Extending SAT Solver with Parity Reasoning Author(s): Laitinen, Tero Date: 2014 Series: Aalto University publication series DOCTORAL DISSERTATIONS, 177/2014 School of Science | Doctoral dissertation (article-based) | Defence date: 2014-11-21
Title: Structure-based satisfiability checking : analyzing and harnessing the potential Author(s): Järvisalo, Matti Date: 2008 | Doctoral dissertation (article-based)