Air Traffic Controller Shift Scheduling by Reduction to CSP, SAT and SAT-Related Problems.
Mirko StojadinovicPublished in: CP (2014)
Keyphrases
- related problems
- sat problem
- sat encodings
- sat solvers
- satisfiability problem
- air traffic
- constraint satisfaction problems
- backtracking search
- phase transition
- propositional satisfiability
- max sat
- sat instances
- civil aviation
- scheduling algorithm
- np complete
- search strategies
- range searching
- real time
- stochastic local search
- air traffic control
- stable marriage
- search algorithm
- constraint satisfaction
- scheduling problem
- control system
- variable ordering
- constraint propagation
- randomly generated
- constraint programming