Philippe Laborie

cplex studio ibm cp optimizer constraint programming ilog cplex constraint-based scheduling scheduling optimization operations research prescriptive analytics modeling combinatorial optimization analytics automatic search cp artificial intelligence machine learning flowshop jobshop mixed integer linear programming resource constrained project scheduling mathematical programming conflict minimal unsatisfiable subset minimal unsatisfiable core project overconstrained rcpsp project scheduling generic optimization engine problem modeling debug solvers problem reformulation starting point warm start presolve conflict refiner project management alternative interval variable oversubscribed scaling search industrial problems nasa satellite observation geo-cape mathematics applications problem solving industry decisions model and run cpo cplex automatic search warnings formulation mip optimizer monotone predicate minimal subset monotone property upward-closed property satisfiability infeasible subset explanation multimode