Toward sustainable development in constraint programming-Reference-Cited by-同舟云学术

Toward sustainable development in constraint programming

Published:2013-10-20 Issue:2 Volume:19 Page:139-149
ISSN:1383-7133
Container-title:Constraints
language:en
Short-container-title:Constraints

Author:

Beldiceanu Nicolas,Flener Pierre,Monette Jean-Noël,Pearson Justin,Simonis Helmut

Publisher

Springer Science and Business Media LLC

Subject

Artificial Intelligence,Computational Theory and Mathematics,Discrete Mathematics and Combinatorics,Software

Link

http://link.springer.com/content/pdf/10.1007/s10601-013-9152-4.pdf

Reference34 articles.

1. Abdennadher, S., & Rigotti, C. (2005). Automatic generation of CHR constraint solvers. Theory and Practice of Logic Programming, 5(4), 403–418.

2. Beldiceanu, N., Carlsson, M., Petit, T. (2004). Deriving filtering algorithms from constraint checkers. In M.G. Wallace (Ed.), CP 2004. LNCS (Vol. 3258, pp. 107–122). Springer.

3. Beldiceanu, N., Carlsson, M., Petit, T., Régin, J.C. (2012). An O(nlogn) bound consistency algorithm for the conjunction of an alldifferent and an inequality between a sum of variables and a constant, and its generalization. In L.D. Raedt, C. Bessière, D. Dubois, P. Doherty, P. Frasconi, F. Heintz, P.J.F. Lucas (Eds.), ECAI 2012 (pp. 145–150). IOS Press.

4. Beldiceanu, N., Carlsson, M., Poder, E., Sadek, R., Truchet, C. (2007). A generic geometrical constraint kernel in space and time for handling polymorphic k-dimensional objects. In C. Bessière (Ed.), CP 2007. LNCS (Vol. 4741, pp. 180–194). Springer.

5. Beldiceanu, N., Carlsson, M., Rampon, J.X. (2012). Global constraint catalog 2nd edn. (revision a). Tech. Rep. T2012:03, Swedish Institute of Computer Science. Available at http://soda.swedish-ict.se/5195 .

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automatic Generation of Descriptions of Time-Series Constraints;2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI);2017-11

2. A survey of big data management: Taxonomy and state-of-the-art;Journal of Network and Computer Applications;2016-08

3. Using finite transducers for describing and synthesising structural time-series constraints;Constraints;2015-08-16