A general stochastic approach to solving problems with hard and soft constraints. (1997)

by H Kautz, B Selman, Y Jiang
Venue:The Satisfiability Problem: Theory and Applications, 573–586. AMS.