Organization <Full Program · Contributors · Organizations · Search Program · Flagged · My Recommendations · Happening NowMore…Search ProgramFlaggedMy RecommendationsHappening NowDept. CS, National Tsing Hua UniversityPresentationsLate Breaking ResultsLate Breaking Results: QUBO Approaches to Logic Equivalence Checking and Testing5:38pm - 5:42pm PDT Monday, July 27 Exhibit HallContributorsChun-Yao Wang