Task scheduling for electro-magnetic detection satellite is a typical combinatorial optimization problem.The count of constraints that need to be taken into account is of large scale.An algorithm combined integer programming with constraint programming is presented.This algorithm is deployed in this problem through two steps.The first step is to decompose the original problem into master and sub-problem using the logic-based Benders decomposition; then a circus combines master and sub-problem solving process together,and the connection between them is general Benders cut.This hybrid algorithm is tested by a set of derived experiments.The result is compared with corresponding outcomes generated by the strength Pareto evolutionary algorithm and the pure constraint programming solver——GECODE,which is an open source software.These tests and comparisons yield promising effect.