Miquel Bofill, Dídac Busquets, Mateu Villaret
A declarative approach to robust weighted Max-SAT
PPDP, 2010.
@inproceedings{PPDP-2010-BofillBV, author = "Miquel Bofill and Dídac Busquets and Mateu Villaret", booktitle = "{Proceedings of the 12th International Conference on Principles and Practice of Declarative Programming}", doi = "10.1145/1836089.1836098", isbn = "978-1-4503-0132-9", pages = "67--76", publisher = "{ACM}", title = "{A declarative approach to robust weighted Max-SAT}", year = 2010, }