Constraint Satisfaction Problem AND DERI
Common descendants