Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowIris Ying ChouTsinghua UniversityPresentationsResearch ManuscriptChameleon-SAT: An Adaptive Boolean Satisfiability Accelerator Using Mixed-Signal In-Memory Computing for Versatile SAT Problems2:00pm - 2:15pm PDT Monday, June 23 3002, Level 3DesignDES2B: In-memory and Near-memory Computing Architectures, Applications and Systems