Author:
Kelsey Thomas W.,Kotthoff Lars,Jefferson Christopher A.,Linton Stephen A.,Miguel Ian,Nightingale Peter,Gent Ian P.
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Discrete Mathematics and Combinatorics,Software
Reference42 articles.
1. Aggoun, A., Chan, D., Dufresne, P., Falvey, E., Grant, H., Harvey, W., Herold, A., Macartney, G., Meier, M., Miller, D., Mudambi, S., Novello, S., Perez, B., van Rossum, E., Schimpf, J., Shen, K., Tsahageas, P.A., de Villeneuve, D.H. (2006). Eclipse user manual release 5.10, http://eclipse-clp.org/ .
2. Balasubramaniam, D., de Silva, L., Jefferson, C., Kotthoff, L., Miguel, I., Nightingale, P. (2011). Dominion: an architecture-driven approach to generating efficient constraint solvers. In 9th Working IEEE/IFIP conference on software architecture (WICSA) (pp. 228–231).
3. Balasubramaniam, D., Jefferson, C., Kotthoff, L., Miguel, I., Nightingale, P. (2012). An automated approach to generating efficient constraint solvers. In 34th international conference on software engineering.
4. Beldiceanu, N., & Simonis, H. A model seeker: extracting global constraint models from positive examples. In M. Milano (Ed.), Principles and practice of constraint programming - 18th international conference, CP 2012, Quebec City, QC, Canada, October 8–12, 2012. Proceedings, lecture notes in computer science (vol. 7514, pp. 141–157). Springer.
5. Bockmayr, A., & Courtois, A. (2002). Using hybrid concurrent constraint programming to model dynamic biological systems. In 18th international conference on logic programming (pp. 85–99). Springer.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献