It is based on constraint logic programming (CLP) and constraint handling rules, and can be seamlessly combined with other constraint solvers in CLP. We have integrated our solver into the EMFtoCSP model finder, and we show that our implementation efficiently solves several common string constraints...
Lect. Notes Comput. Sci. 2005, 3663, 401–408. 47. Office of the Basic Education Commission. Thai Hand Sign Language Handbook under the Initiatives of Her Royal Highness Princess Maha Chakri Sirindhorn; Department of General Education: Bangkok, Thailand, 1997. 48. Lowe, D.G. Distinctive ...