Roya Rashidi

Work place: Department of Computer Engineering, Islamic Azad University, Arak Branch, Arak, Iran



Research Interests: Computer systems and computational processes, Data Structures and Algorithms, Analysis of Algorithms, Programming Language Theory


Roya Rashidi got her master from Islamic Azad University, Arak branch (Iran). She is interested in local search algorithms and constraint programming.

Author Articles
Using Heuristic-based Search for Zinc Models

By Reza Rafeh Roya Rashidi

DOI:, Pub. Date: 8 Sep. 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.

[...] Read more.
Other Articles