Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs. Réduction d'instances de SAT vers des instances polynomiales.
16ième congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA'08), 2008, Amiens, Région indéterminée. pp.388-396.
⟨hal-03300590⟩