An Optimization Model for Variable Ordering in Qualitative Constraint Propagation, Fethi Calisir,Emre Cevikcan,Hatice Camgoz Akdag, Editör, Springer, London/Berlin , Basel, ss.113-125, 2018
In this paper, an optimization model developed to determine value propagation order for qualitative constraint sets as well as a qualitative approach making the optimization model solution procedure fast are proposed. For this purpose a non-linear optimization model template is developed. It is possible to create optimization models for any other qualitative constraint propagation problem using the template optimization model. Since the main objective is to save execution time in constraint propagation phase, the optimization model must be solved as fast as possible. To satisfy this requirement, a qualitative optimization model for original quantitative problem is constructed and solved. Qualitative optimization model serves quantitative model by eliminating sub-optimal mathematical spaces, in which numerical solutions cannot be. Following qualitative solution, quantitative model is solved to find exact variable order giving minimum solution steps and consequently minimum process time. The model is offered, especially, for constraint based qualitative simulation.