Title: “SAT-based Design Debugging and Its Application to Undergraduate Circuit Experiment”
Speaker: Prof. Takeshi Matsumoto, National Institute of Technology, Ishikawa College, Japan
Date and Time: Friday, September 7, 2018 at 11:00 a.m.
Location: Donald Bren Hall 3011