Dashed strings for string constraint solving

Roberto Amadini, Graeme Gange, Peter J. Stuckey. Dashed strings for string constraint solving. Artificial Intelligence, 289:103368, 2020. [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