Spreading excellence and disseminating the cutting edge results of our research and development efforts is crucial to our institute. Check for our educational offers for Bachelor, Master and PhD studies at the University of Innsbruck!
Propositional Logics are the most fundamental class of logics. Despite their simplicity, they enjoy real industrial interest. Consequently, a good number of SAT solvers has been developed over the last decades, some of which are industrial-strength systems that can cope with problems arising in industrial applications. The huge variety of systems however is implemented on the basis of a smaller number of well-understood algorithm families.
The goal of this project is too survey (a selection of) the various different algorithmic approaches to solve the SAT problem for propositional logics and to compare / relate the selected approaches.