Author:
Law Yat Chiu,Lee Jimmy H. M.,Smith Barbara M.
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Discrete Mathematics and Combinatorics,Software
Reference39 articles.
1. Ansótegui, C., & Manyà, F. (2004). Mapping problems with finite-domain variables into problems with Boolean variables. In Proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing (pp. 1–15).
2. Bessière, C., Régin, J.-C., Yap, R. H. C., & Zhang, Y. (2005). An optimal coarse-grained arc consistency algorithm. Artificial Intelligence, 165(2), 165–185.
3. Cheng, B. M. W., Choi, K. M. F., Lee, J. H. M., & Wu, J. C. K. (1999). Increasing constraint propagation by redundant modeling: An experience report. Constraints, 4(2), 167–192.
4. Cheng, B. M. W., Lee, J. H. M., & Wu, J. C. K. (1996). Speeding up constraint propagation by redundant modeling. In Proceedings of the 2nd International Conference on Principles and Practice of Constraint Programming (pp. 91–103).
5. Cheng, K. C. K., Lee, J. H. M., & Stuckey, P. J. (2003). Box constraint collections for adhoc constraints. In Proceedings of the 9th International Conference on Principles and Practice of Constraint Programming (pp. 214–228).
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献