Progressive Stochastic Search for Solving Constraint Satisfaction Problems. - Bryan Chi-ho Lam; Ho-fung Leung (ICTAI, 2003)