OSEMA 2011 AND Constraint Satisfaction Problem
Common descendants