Searched for: contributor%3A%22Roos%2C+S.+%28graduation+committee%29%22
(1 - 1 of 1)
- document
-
van Driel, R.A. (author)Solving propositional satisfiability (SAT) and constraint programming (CP) instances has been a fundamental part of a wide range of modern applications. For this reason a lot of research went into improving the efficiency of modern SAT and CP solvers. Recently much of this research has gone into exploring the possibilities of integrating machine...master thesis 2020