@conference{jiang95,
author = "Y. Jiang and H. Kautz and B. Selman",
booktitle = "Proceedings of the 1st Workshop on Artificial
                   Intellignce and Operations Research.",
title = "{S}olving {P}roblems with {H}ard and {S}oft {C}onstraints {U}sing
                   a {S}tochastic {A}lgorithm for {MAX}-{SAT}",
year = "1995",
}