[1] Dynamic Variable Ordering heuristic - technique/heuristic for improving the efficiency of constraint satisfaction (KI)

[2] Davao, Philippines - internationale Fughafen-Kennung.