Laure Brisoux, Lakhdar Saïs, Éric Grégoire. Mieux exploiter les échecs au sein des arbres de recherche à la Davis et Putnam.
Actes des Quatrièmes Journ. Nat. sur la Résolution Pratique des Problèmes NP-complets (JNPC-98), 1998, Nantes, France. pp.31-39.
⟨hal-03300600⟩