TY  - RPRT
TI  - Kiwi - A Minimalist CP Solver
AU  - Renaud Hartert
PY  - 2017
UR  - https://arxiv.org/abs/1705.00047
ID  - 1705.00047
ER  -