摘要: We provide a formulation of the air traffic control problem and a solver for this problem that makes use of temporal constraint networks and simple geometric reasoning. We provide results showing that this approach is practical f... 展开 We provide a formulation of the air traffic control problem and a solver for this problem that makes use of temporal constraint networks and simple geometric reasoning. We provide results showing that this approach is practical for realistic simulated problems. 收起