Publications

Citation

BibTex format

@inproceedings{Bofill:2010:10.1145/1836089.1836098,
author = {Bofill, M and Busquets, D and Villaret, M},
doi = {10.1145/1836089.1836098},
publisher = {ACM},
title = {A declarative approach to robust weighted Max-SAT},
url = {http://dx.doi.org/10.1145/1836089.1836098},
year = {2010}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AU  - Bofill,M
AU  - Busquets,D
AU  - Villaret,M
DO  - 10.1145/1836089.1836098
PB  - ACM
PY  - 2010///
TI  - A declarative approach to robust weighted Max-SAT
UR  - http://dx.doi.org/10.1145/1836089.1836098
ER  -

Download