Advanced Topics in Logic: Automated Reasoning and Satisfiability

Catalog description

Automated reasoning has become a powerful technology with applications ranging from verification of hardware and software to solving long-standing open problems in mathematics. This course covers several state-of-the-art automated reasoning techniques and provides hands-on experience with research questions in this area. Course Website: https://www.cs.cmu.edu/~rubenm/15816-f25/