Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowMingxuan YuanHuaweiPresentationsResearch ManuscriptNeuroSelect: Learning to Select Clauses in SAT SolversEDADesign Verification and ValidationWork-in-Progress PosterELF: Efficient Logic Synthesis by Pruning Redundancy in RefactoringAIAutonomous SystemsCloudDesignEDAEmbedded SystemsIPSecurity