June 20, 2019 18:00
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
You will find parking spaces in the surrounding streets and car parks.