Prof. Sharad Malik, together with Lintao Zhang of Microsoft Corp, Conor Madigan’00 of Kateeva and Matthew Moskewicz of the University of California have received the ICCAD Ten Year Retrospective Most Influential Paper Award for their paper titled “Efficient Conflict Driven Learning in Boolean Satisfiability Solver”. The papper was originally presented at the 2001 International Conference on Computer-Aided Designing (ICCAD). It was concluded
© 2013 The Trustees of Princeton University · Feedback: eeweb@princeton.edu
Last update: November 1, 2010