Computing and restoring global inverse consistency in interactive constraint satisfaction. - Bessiere, Christian; Fargier, Hélène; Lecoutre, Christophe (Artificial Intelligence, 2016)