Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Discrete Mathematics and Combinatorics,Software
Reference33 articles.
1. Apt, K.R. (1999). The essence of constraint propagation. Theoretical Computer Science, 221(1-2), 179–210.
2. Araya, I., Trombettoni, G., Neveu, B., & Chabert, G. Upper Bounding in Inner Regions for Global Optimization under Inequality Constraints. Journal of Global Optimization (2), 145–164 (2014).
3. Bart, A., Truchet, C., & Monfroy, E. (2015). Verifying a real-time language with constraints, 27th IEEE international conference on tools with artificial intelligence, ICTAI 2015, Vietri sul Mare, Italy, November 9-11, 2015 (pp. 844–851), IEEE.
4. Benhamou, F., & Granvilliers, L. (2006). Continuous and interval constraints, Handbook of constraint programming (pp. 571–603).
5. Benhamou, F., & J. Older, W. (1997). Applying interval arithmetic to real, integer and Boolean constraints. Journal of Logic Programming, 32(1), 1–24.