Constraint Satisfaction Problem AND Arxiv Doc
Common descendants