Active Constraint Identification