TY  - RPRT
TI  - A Multicore Tool for Constraint Solving
AU  - Roberto Amadini
AU  - Maurizio Gabbrielli
AU  - Jacopo Mauro
PY  - 2015
UR  - https://arxiv.org/abs/1502.03986
ID  - 1502.03986
ER  -