Using heuristics to find minimal unsatisfiable subformulas in satisfiability problems. - Christian Desrosiers; Philippe Galinier; Alain Hertz; Sandrine Paroz (J. Comb. Optim., 2009)

Using local search to speed up filtering algorithms for some NP-hard constraints. - Philippe Galinier; Alain Hertz; Sandrine Paroz; Gilles Pesant (Ann. Oper. Res., 2011)