Conference Proceedings

Dynamic variable elimination during propagation solving

C Schulte, PJ Stuckey

Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming | Published : 2008

DOI: 10.1145/1389449.1389480