Abderrazak Daoudi Nadjib Lazaar Younes Mechqrane Christian Bessiere El-Houssine Bouyakhf Detecting Types of Variables for Generalization in Constraint Acquisition. 413-420 2015 ICTAI https://doi.org/10.1109/ICTAI.2015.69 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2015.69 conf/ictai/2015 db/conf/ictai/ictai2015.html#DaoudiLMBB15