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

J. Larrosa, E. Morancho, D. Niso

Variable elimination is a general technique for constraint processing. It is often discarded because of its high space complexity. However, it can be extremely useful when combined…