TY  - RPRT
TI  - Solving WCSP by Extraction of Minimal Unsatisfiable Cores
AU  - Christophe Lecoutre
AU  - Nicolas Paris
AU  - Olivier Roussel
AU  - Sébastien Tabary
PY  - 2013
UR  - https://arxiv.org/abs/1304.5449
ID  - 1304.5449
ER  -