A Novel Approach to String Constraint Solving

Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack. A Novel Approach to String Constraint Solving. In J. Christopher Beck, editor, Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings. Volume 10416 of Lecture Notes in Computer Science, pages 3-20, Springer, 2017. [doi]

Authors

Roberto Amadini

This author has not been identified. Look up 'Roberto Amadini' in Google

Graeme Gange

This author has not been identified. Look up 'Graeme Gange' in Google

Peter J. Stuckey

This author has not been identified. Look up 'Peter J. Stuckey' in Google

Guido Tack

This author has not been identified. Look up 'Guido Tack' in Google