Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowTiebing TangThe Chinese University of Hong KongPresentationsResearch ManuscriptLogic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving5:00pm - 5:15pm PDT Wednesday, June 25 3004, Level 3EDAEDA2: Design Verification and Validation
