Amadini, R.; Gange, G.; Stuckey, P. Sweep-Based Propagation for String Constraint Solving. AAAI 2018, 32.