@INPROCEEDINGS{Finger2013Solutions,
author = {Finger, Marcelo and {Le Bras}, Ronan and Gomes, Carla P. and Selman, Bart},
title = {Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability},
booktitle = {Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT)},
year = {2013},
series = {SAT'13},
location = {Helsinki, Finland},
pages = {233--249}
}