When do bounds and domain propagation lead to the same search space
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Constraint programming viewed as rule-based programming
Theory and Practice of Logic Programming
Removing propagation redundant constraints in redundant modeling
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |