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