Weigel, R.Faltings, B.2006-12-132006-12-132006-12-13199910.1016/S0004-3702(99)00077-6https://infoscience.epfl.ch/handle/20.500.14299/238252WOS:0000844938000032457Compiling Constraint Satisfaction Problemstext::journal::journal article::research article