@InProceedings{SchulteStuckey:PPDP:2008,
Author = "Christian Schulte and Peter J. Stuckey",
Title = "Dynamic Variable Elimination During Propagation Solving",
Editor = "Sergio Antoy",
Booktitle = "Tenth International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming",
Year = 2008,
Month = jul,
Address = "Valencia, Spain",
Publisher = "ACM Press",
Pages = "247--257",
DOI = "10.1145/1389449.1389480",
URL = "https://chschulte.github.io/papers/schultestuckey-ppdp-2008.html"
}