Jean-Guillaume Fages, Gilles Chabert, Charles Prud'homme: Combining finite and continuous solvers. CoRR abs/1402.1361 (2014)