Malik research group's paper received the A. Richard Newton Technical Impact Award in Electronic Design Automation

June 23, 2017

Sharad Malik and his researchers 2001 paper titled : Chaff: Engineering an Efficient SAT Solver" published in the Proceeding of the 38th Design Automation Conference, was recently selected as the IEEE CEDA and ACM SIGDA A. Richard Newton Technical Impact Award in Electronic Design Automation for 2017.  The award was given for seminal contributions to scalable Boolean satisfiability solving incuding locality-based search and efficient backgtracking.