【摘 要】
:
The ability to solve various constraints is a principal factor of automatic constraint solvers. Most object-oriented languages treat a character string as a pri
【机 构】
:
State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecom