期刊名称：Journal of Intelligent Learning Systems and Applications
印刷版ISSN：2150-8402
电子版ISSN：2150-8410
出版年度：2012
卷号：4
期号：3
页码：223-229
DOI：10.4236/jilsa.2012.43023
出版社：Scientific Research Publishing
摘要：A conflict is an event in which two or more aircraft experience a loss of minimum separation. In this paper, we formulate the problem of solving conflicts arising among several aircraft moving in a shared airspace as a Constraint Satisfaction Problem (CSP). The constraint satisfaction problem being NP-complete, the algorithms developed to solve it have been of two types: non-systematic and systematic search methods. In this paper, we have considered a breakout algorithm as an example of non-systematic search methods and a backtracking procedure that maintains Arc Consistency (MAC) as an example of systematic search methods. The performance of these algorithms was compared experimentally and the Breakout algorithm is shown to be clearly superior.
