A general stochastic approach to solving problems with hard and soft constraints. - Henry A. Kautz; Bart Selman; YueYen Jiang (Satisfiability Problem: Theory and Applications, 1996)