Using Heuristic-based Search for Zinc Models

Reza Rafeh, Roya Rashidi
2013 International Journal of Intelligent Systems and Applications  
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.
doi:10.5815/ijisa.2013.10.02 fatcat:euehuj3zxre4hgv6xf36bltfxy