sl:arxiv_author : Po-Wei Wang AND Constraint Satisfaction Problem