User Tools

Site Tools


termine:ws15:160318

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

termine:ws15:160318 [16.03.2016 10:52] (current)
ctadmin created
Line 1: Line 1:
 +====== 18.03.2016 - Albert Schimpf ======
  
 +^ Time       | 11:00    |
 +^ Room       | 34-420 ​  |
 +
 +===== Title =====
 +
 +Development and Implementation of a Modular SAT-Solver Framework
 +(Bachelor'​s Thesis)
 +
 +===== Abstract =====
 +
 +Propositional satisfiability is one of many fields in the more general satisfiability testing field.
 +We introduce recent research results concerning the efficiency of solvers and a theoretical approach to propositional satisfiability testing. We combine these two efforts to develop a framework for solving propositional formulas.
 +The framework we developed has two major goals. The first one is to implement an efficient modular solver based on the theoretical model given. The second goal is to use this framework as a teaching tool.
termine/ws15/160318.txt ยท Last modified: 16.03.2016 10:52 by ctadmin