TY  - RPRT
TI  - On the Practical use of Variable Elimination in Constraint Optimization Problems: 'Still-life' as a Case Study
AU  - J. Larrosa
AU  - E. Morancho
AU  - D. Niso
PY  - 2011
DO  - 10.1613/jair.1541
UR  - https://arxiv.org/abs/1109.2131
ID  - 1109.2131
ER  -