Presenter <Full Program · Contributors · Organizations · Search Program · Flagged · My Recommendations · Happening NowMore…Search ProgramFlaggedMy RecommendationsHappening NowPin-Yu ChenIBM ResearchPresentationsLate Breaking ResultsSAT-Helper: A Multi-Agent System for Adaptive Optimizing Large-Scale Conjunctive Normal Form5:48pm - 5:51pm PDT Monday, July 27 Exhibit Hall
