Solving problems with hard and soft constraints using a stochastic algorithm for MAX-SAT (1995)

by Y Jiang, H Kautz, B Selman
Venue:In Proc. of the Intl. Joint Workshop on Artificial Intelligence and Operations Research