By Ferdinando Fioretto, University of Virginia, USA | Pascal Van Hentenryck, Georgia Institute of Technology, USA