Sweep-Based Propagation for String Constraint Solving.

Roberto Amadini, Graeme Gange, Peter J. Stuckey

Browse the full AAAI paper archive.