Fall 2023, 15816: Below is information about CMU Fall 2023 course 15816: Advanced Topics in Logic: Automated Reasoning and Satisfiability. The course number is 15816 or 15-816. The course Advanced Topics in Logic: Automated Reasoning and Satisfiability(15816) in Fall 2023 has 12.0 unit. The professor Heule is teaching the course Advanced Topics in Logic: Automated Reasoning and Satisfiability(15816) in Fall 2023. The professor/instructor of Advanced Topics in Logic: Automated Reasoning and Satisfiability(15816) in Fall 2023 is Heule. The department of Advanced Topics in Logic: Automated Reasoning and Satisfiability(15816) is Computer Science. The location of Advanced Topics in Logic: Automated Reasoning and Satisfiability(15816) is Pittsburgh, Pennsylvania. The room of Advanced Topics in Logic: Automated Reasoning and Satisfiability(15816) is GHC 4101. The course happens in MW, from 09:30AM to 10:50AM in Fall 2023.
