An Optimized CLP-based Technique for Generating Propagation Sequences