TY  - RPRT
TI  - DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability
AU  - Miguel Neves
AU  - Inês Lynce
AU  - Vasco Manquinho
PY  - 2015
UR  - https://arxiv.org/abs/1505.02408
ID  - 1505.02408
ER  -