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

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