An Efficient Consistency Algorithm for Solving Tighter Solution Space of Temporal Constraint Optimization Problem
Authors
Wen Zhang, Yanguang Zhu, Yifan Zhu
Corresponding Author
Wen Zhang
Available Online August 2012.
- DOI
- 10.2991/iccasm.2012.12How to use a DOI?
- Keywords
- Algorithm, Solution Space, Temporal Constraint Optimization Problem
- Abstract
This paper mainly gives an efficient consistency algorithm for solving tigher solution space of Temporal Constraint Optimization Problem (TCOP), and it is a variation of Path Constraint (PC) that is widely used in the domain of Constraint Satisfaction Problem (CPS). The algorithm can find out the feasible solutions and eliminate some non-feasible solutions, and it can improve the efficiency of solving TCOP. The validity and convergence of the algorithm are both proved by mathematical reasoning.
- Copyright
- © 2012, the Authors. Published by Atlantis Press.
- Open Access
- This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).
Cite this article
TY - CONF AU - Wen Zhang AU - Yanguang Zhu AU - Yifan Zhu PY - 2012/08 DA - 2012/08 TI - An Efficient Consistency Algorithm for Solving Tighter Solution Space of Temporal Constraint Optimization Problem BT - Proceedings of the 2012 International Conference on Computer Application and System Modeling (ICCASM 2012) PB - Atlantis Press SP - 45 EP - 49 SN - 1951-6851 UR - https://doi.org/10.2991/iccasm.2012.12 DO - 10.2991/iccasm.2012.12 ID - Zhang2012/08 ER -