Solving String Constraints: The Case for Constraint Programming

Jun He, Pierre Flener, Justin Pearson, Wei Ming Zhang. Solving String Constraints: The Case for Constraint Programming. In Christian Schulte, editor, Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings. Volume 8124 of Lecture Notes in Computer Science, pages 381-397, Springer, 2013. [doi]

Authors

Jun He

This author has not been identified. Look up 'Jun He' in Google

Pierre Flener

This author has not been identified. Look up 'Pierre Flener' in Google

Justin Pearson

This author has not been identified. Look up 'Justin Pearson' in Google

Wei Ming Zhang

This author has not been identified. Look up 'Wei Ming Zhang' in Google