Title:Approaches to grid-based SAT solving
Author(s):Hyvärinen, Antti E. J.Date:2009Series:TKK reports in information and computer science, 16Faculty of Information and Natural Sciences
Title:Extending SAT Solver with Parity Reasoning
Author(s):Laitinen, TeroDate:2014Series:Aalto University publication series DOCTORAL DISSERTATIONS, 177/2014School of Science | Doctoral thesis (article-based) | Defence date: 2014-11-21