Donnerstag, 20. Juni 2019, 18:00 Uhr

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 12 04107 Leipzig

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