TY  - RPRT
TI  - COINS: a constraint-based interactive solving system
AU  - Samir Ouis
AU  - Narendra Jussien
AU  - Patrice Boizumault
PY  - 2002
UR  - https://arxiv.org/abs/cs/0207046
ID  - cs/0207046
ER  -