On the Practical use of Variable Elimination in Constraint Optimization Problems: 'Still-life' as a Case Study.

Javier Larrosa Enric Morancho David Niso On the Practical use of Variable Elimination in Constraint Optimization Problems: 'Still-life' as a Case Study. 421-440 2005 23 J. Artif. Intell. Res. (JAIR) http://www.jair.org/papers/paper1541.html db/journals/jair/jair23.html#LarrosaMN05