Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-1011-2685
AU - Lopes, Nuno P.
AU - Aksoy, Levent
AU - Manquinho, Vasco
AU - Monteiro, José
TI - Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability
JO - CoRR
VL - abs/1011.2685
PY - 2010//
UR - http://arxiv.org/abs/1011.2685
ER -