Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Saïs. Elimination des redondances dans les algorithmes de résolution de SAT.
Actes du Quatorzième Congrès Francophone AFRIF-AFIA sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA-2004), 2004, Toulouse, France. pp.1343-1350.
⟨hal-03300594⟩