Tian Sang
Original record- Institution
- University of Washington
- Year
- 2007
- Country
- United States
- MGP identifier
- 118556
Dissertation: SAT-Based Exhaustive Search Methods of Model Counting, Inference and Optimization
Advisors 2
- Henry A. KautzUniversity of Rochester · 1987
- Paul William BeameUniversity of Toronto · 1987
Students 0
No students recorded in this snapshot.