Logic plays a ley role in many areas of science with logical formulas used in mathematics to prove theories, in electrical engineering to create circuits, as well as in computer science.
This workshop focuses on how automatic proofs can help solve puzzles, such as Sudoku, automatically. These simple games help participants learn about basic concepts of logical language and study the way modern automatic proofers solve problems.
Instructors: Univ. Prof. Armin Biere and Assoc. Univ. Prof. Dr. Martina Seidl
approx. 3 hours (incl. breaks)