Using Constraints with Memory to Implement Variable Elimination.

Mart Snchez-Fibla, Pedro Meseguer, Javier Larrosa

Browse the full ECAI paper archive.