Pascal Van Hentenryck
Georgia Tech Research Corporation
Pascal Van Hentenryck
pvh@isye.gatech.edu