Author:
Ziat Ghiles,Maréchal Alexandre,Pelleau Marie,Miné Antoine,Truchet Charlotte
Publisher
Springer International Publishing
Reference23 articles.
1. Apt, K.R.: The essence of constraint propagation. Theor. Comput. Sci. 221, 179–210 (1999)
2. Lecture Notes in Computer Science;F Benhamou,1996
3. Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.-F.: Revisiting hull and box consistency. In: Proceedings of the 16th International Conference on Logic Programming, pp. 230–244 (1999)
4. Benhamou, F., Older, W.J.: Applying interval arithmetic to real, integer and boolean constraints. J. Logic Programm. 32(1), 1–24 (1997)
5. Chabert, G., Jaulin, L.: Contractor programming. Artif. Intell. 173, 1079–1100 (2009)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Speeding up static analysis with the split operator;International Journal on Software Tools for Technology Transfer;2024-08-27
2. Modular Constraint Solver Cooperation via Abstract Interpretation;Theory and Practice of Logic Programming;2020-09-22