Browsing Department of Informatics by Author "Egeland, Christian"
Now showing items 1-1 of 1
-
Algorithms for Linearly Ordered Boolean Formulas
Egeland, Christian (Master thesis, 2016-06-30)This thesis considers a class of propositional boolean formulas on which various problems related to satisfiability are efficiently solvable by a dynamic programming algorithm. It mainly consists of two larger parts: the ...