Viser treff 1-1 av 1

• #### Algorithms for Linearly Ordered Boolean Formulas ﻿

(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 ...