TY  - RPRT
TI  - Reduction of constraint systems
AU  - Samy Ait-Aoudia
AU  - Roland Jegou
AU  - Dominique Michelucci
PY  - 2014
UR  - https://arxiv.org/abs/1405.6131
ID  - 1405.6131
ER  -