Solving Optimally the Static Ground-Holding Policy Problem in Air Traffic Control | Synapse