Kata Kunci Pencarian:
- Rob A. Rutenbar
- Phil Kaufman Award
- Logic optimization
- Boolean satisfiability problem
- Alfred Spector
- Satisfiability modulo theories
- Abel Bliss
- Jump flooding algorithm
- List of University of Michigan alumni
- University of Illinois Department of Computer Science
