Browsing by Keyword "propositional satisfiability"

Now showing items 1-8 of 8

Title: Analyzing the Random-Walk Algorithm for SAT Author(s): Rantanen, Heikki Date: 2004 Helsinki University of Technology | Master's thesis
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: Dense Implicant Cubes in Boolean Satisfiability Problems Author(s): Lipping, Joonas Date: 2020-01-20 Perustieteiden korkeakoulu | Master's thesis
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 thesis (article-based) | Defence date: 2014-11-21
Title: Impact of Restricted Branching on Clause Learning SAT Solving Author(s): Järvisalo, Matti Date: 2007 Helsinki University of Technology | Licentiate thesis
Title: Proof Complexity of Cut-Based Tableaux for Boolean Circuit Satisfiability Checking Author(s): Järvisalo, Matti Date: 2004 Helsinki University of Technology | Master's thesis
Title: Structure-based satisfiability checking : analyzing and harnessing the potential Author(s): Järvisalo, Matti Date: 2008 | Doctoral thesis (article-based)