結果 : solving mixed integer programming problems using automatic reformulation