Learning to Solve Mixed-Integer Nonlinear Programming with NNs and SQP Refinement