結果 : constraint programming vs mixed integer programming