Oral Comprehensive Exam Details
Systematic SAT Solvers: Conjunctive Normal Form and Beyond
| Author: | Heidi Dixon |
|---|---|
| Date: | April 24, 2003 |
| Time: | 3:30 |
| Location: | 220 Deschutes |
| Committee: | Matthew Ginsberg (Chair) Christopher Wilson David Etherington Michal Young |
Abstract