Geier Professor of Computer Science at the University of Cincinnati. — Researcher in algorithms, especially SAT solvers, their theory and application.
Geier Professor of Computer Science at the University of Cincinnati. — Researcher in algorithms, especially SAT solvers, their theory and application.