Constraint Satisfaction Problem AND OSEMA/DERI-Renault paper
Common descendants