Dynamic variable elimination during propagation solving.

Christian Schulte, Peter J. Stuckey

Browse the full PPDP paper archive.