Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs. Suppression des clauses redondantes dans des instances SAT.
3èmes Journées Francophones de Programmation par Contraintes (JFPC'07), 2007, Rocquencourt, France. pp.28-37.
⟨hal-03300591⟩