Presenter <Full Program · Contributors · Organizations · Search Program · Flagged · My Recommendations · Happening NowMore…Search ProgramFlaggedMy RecommendationsHappening NowYou-Cheng LinNational Tsing Hua UniversityPresentationsLate Breaking ResultsLate Breaking Results: QUBO Approaches to Logic Equivalence Checking and Testing5:38pm - 5:42pm PDT Monday, July 27 Exhibit Hall