Stefano Ermon has won best student paper at the 16th International Conference on Principles and Practice of Constraint Programming 2010 (CP 2010) in St Andrews, Scotland. The paper, "Computing the Density of States of Boolean Formulas", was co-authored with Carla Gomes and Bart Selman.