Progressive stochastic search for solving constraint satisfaction problems | IEEE Conference Publication | IEEE Xplore