Constraint-Handling Technique and Applications
YONG Longquan, TUO Shouheng, SHI Jiarong
Journal of Frontiers of Computer Science and Technology . 2018, (6): 1013 -1020 .  DOI: 10.3778/j.issn.1673-9418.1704028