Constraint propagation with interval labels
Artificial Intelligence
Network-based heuristics for constraint-satisfaction problems
Artificial Intelligence
Tree search and ARC consistency in constraint satisfaction algorithms
Search in Artificial Intelligence
Automata, Languages, and Machines
Automata, Languages, and Machines
25 years of applications of logic programming in Italy
A 25-year perspective on logic programming
Hi-index | 0.00 |
This paper describes the solution to the problem of predictive and reactive aircraft routing developed in OMAR (Operative Management of Aircraft Routing), a system implemented by Bull HN in collaboration with Alitalia. The basic philosophy is to look at aircraft routing as a Constraint Satisfaction Problem (CSP) and to employ the most effective CSP techniques to solve it under the severe time constraints required by the customer.