Bertrand Mazure, Lakhdar Saïs, Éric Grégoire. Deux approches pour la résolution du problème SAT.
Actes de la deuxième Conférence Nationale sur la Résolution Pratique des Problèmes NP-complets (CNCP-96), 1996, Dijon, France. pp.103-114.
⟨hal-03300601⟩