Organization <Full Program · Contributors · Organizations · Search Program · Flagged · My Recommendations · Happening NowMore…Search ProgramFlaggedMy RecommendationsHappening NowNational Taiwan University of Science and Technology; Arculus System Co. Ltd.PresentationsLate Breaking ResultsLate Breaking Results: QUBO Approaches to Logic Equivalence Checking and Testing5:38pm - 5:42pm PDT Monday, July 27 Exhibit HallContributorsYung-Chih Chen