Paper by Malik Research Group Wins Award

Thursday, August 10, 2017

Princeton Professor Sharad Malik has received the IEEE CEDA and ACM SIGDA A. Richard Newton Technical Impact Award in Electronic Design Automation for 2017. This award recognizes a paper, published in 2001, titled "Chaff: Engineering an Efficient SAT Solver."