Pascal Van Hentenryck
Georgia Tech Research Corporation