June 20, 2019 18:00

OR-LE Meetup Leipzig #3

Information

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

Anfahrt

InVision AG Karl-Liebknecht Straße 8 04107 Leipzig

Parkplätze findest Du in den umliegenden Straßen und Parkhäusern.