Constraint acquisition. - Bessiere, Christian; Koriche, Frédéric; Lazaar, Nadjib; O'Sullivan, Barry (Artificial Intelligence, 2017)