Close

Presenter

Zhengyuan Shi
The Chinese University of Hong Kong
Presentations
Research Manuscript
Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving
5:00pm - 5:15pm PDT Wednesday, June 25 3004, Level 3
EDA
EDA2: Design Verification and Validation
Late Breaking Results
Late Breaking Results: Hybrid Logic Optimization with Predictive Self-Supervision
6:00pm - 7:00pm PDT Monday, June 23 Level 2 Lobby