TY  - RPRT
TI  - Benchmark Problems for Constraint Solving
AU  - Alin Suciu
AU  - Rodica Potolea
AU  - Tudor Muresan
PY  - 2006
UR  - https://arxiv.org/abs/cs/0603099
ID  - cs/0603099
ER  -