Both theoretical foundations of and practical issues in automated reasoning will be covered. Students will read selected papers for class discussion and will be required to do a term project.
Prerequisite: CS 561.
News & Events | People | Academics | Research | Jobs | Companies | Visitors | Computer Facilities | Home
