Using Heuristic-based Search for Zinc Models
Автор: Reza Rafeh, Roya Rashidi
Журнал: International Journal of Intelligent Systems and Applications(IJISA) @ijisa
Статья в выпуске: 10 vol.5, 2013 года.
Бесплатный доступ
The Zinc modelling language provides a rich set of constraints, data structures and expressions to support high-level modelling. Zinc is the only modelling language that supports all solving techniques: constraint programming, mathematical methods, and local search. By providing search patterns, it allows users to implement their search methods in a declarative way. There are currently three search patterns implemented in Zinc: backtracking search, branch and bound search, and local search. In this paper we explain how Zinc efficiently implements user-defined local search algorithms.
Zinc, ZLoc, Modelling, Local Search
Короткий адрес: https://sciup.org/15010473
IDR: 15010473
Список литературы Using Heuristic-based Search for Zinc Models
- Rafeh R., "The Modelling Language Zinc," in Clayton School of IT. vol. Ph.d.Thesis: Monash University, 2008.
- N. Jaberi, and R. Rafeh, “A Survey of Linearization Techniques for Nonlinear Models,” International Journal of Computational Intelligence and Information Security, vol. 3, no. 2, 2012.
- Rafeh R., Marriott K., and de la Banda M., "Adding Search to Zinc," CP 2008, vol. LNCS 5202, pp. 624-629, 2008.
- Apt K., and Wallace M., Constraint Logic programming Using ECLiPSe: Cambridge University Press, 2007.
- R. Rafeh,. "Proposing a new search template for modelling languages", Procedia CS 3: 1490-1493, 2011.
- Rashidi R., Rafeh R., Rahmani M., and Khadem E. A., "ZLoc: A C++ library for local search," International Journal of the Physical Sciences, vol. 6(31), pp. 7095 - 7099, 2011.
- Hentenryck P. V., and Michel L., Constraint-Based Local Search: MIT Press, 2005.
- "Boost C++ libraries home page."
