Mixed-Integer Programming for Adaptive VR Workflow Training | AMiner