Blar i Department of Informatics på forfatter "Egeland, Christian"
-
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 ...