Dive into an extensive 4-hour lecture on SAT-Solving presented by Armin Biere from Johannes Kepler University as part of the Satisfiability: Theory, Practice, and Beyond Boot Camp at the Simons Institute. Explore the fundamental concepts, practical applications, and advanced techniques in Boolean satisfiability problem solving, gaining insights into this crucial area of computational logic and its implications for various fields in computer science and mathematics.
Overview
Syllabus
SAT-Solving
Taught by
Simons Institute
