Marcelo Finger, Ronan LeBras, Carla P. Gomes, Bart Selman. Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability. In Matti Järvisalo, Allen Van Gelder, editors, Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings. Volume 7962 of Lecture Notes in Computer Science, pages 233-249, Springer, 2013. [doi]
Abstract is missing.