@inproceedings{BofillBV10ppdp,
 author = {Bofill, Miquel and Busquets, D\'{\i}dac and Villaret, Mateu},
 title = {A Declarative Approach to Robust Weighted Max-SAT},
 booktitle = {PPDP '10: Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming},
 year = {2010},
 isbn = {978-1-4503-0132-9},
 pages = {67--76},
 location = {Hagenberg, Austria},
 doi = {http://doi.acm.org/10.1145/1836089.1836098},
 publisher = {ACM},
 address = {New York, NY, USA},
 }