TY  - RPRT
TI  - SUNNY: a Lazy Portfolio Approach for Constraint Solving
AU  - Roberto Amadini
AU  - Maurizio Gabbrielli
AU  - Jacopo Mauro
PY  - 2014
DO  - 10.1017/s1471068414000179
UR  - https://arxiv.org/abs/1311.3353
ID  - 1311.3353
ER  -