Presenter <Full Program · Contributors · Organizations · Search Program · Flagged · My Recommendations · Happening NowMore…Search ProgramFlaggedMy RecommendationsHappening NowJian-Meng YangARCULUS SYSTEM CO., LTD.PresentationsLate Breaking ResultsLate Breaking Results: QUBO Approaches to Logic Equivalence Checking and Testing5:38pm - 5:42pm PDT Monday, July 27 Exhibit Hall
