Introduction to SAT Solving
SAT solvers can find solutions to propositional formulas or show that no solutions exist. We will see how different problems can be encoded as propositional logic and solved by SAT solvers. Furthermore, we will have a look at the implementation of modern SAT solvers and contrast them to alternative approaches.
The speaker is Jannis, developer of the open-source SAT solver varisat.
Doors open at 18:00 Hrs
Parkplätze findest Du in den umliegenden Straßen und Parkhäusern.