%0 Conference Proceedings %T Mieux exploiter les échecs au sein des arbres de recherche à la Davis et Putnam %+ Centre de Recherche en Informatique de Lens (CRIL) %A Brisoux, Laure %A Saïs, Lakhdar %A Grégoire, Éric %< avec comité de lecture %B Actes des Quatrièmes Journ. Nat. sur la Résolution Pratique des Problèmes NP-complets (JNPC-98) %C Nantes, France %P 31-39 %8 1998 %D 1998 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers %G French %L hal-03300600 %U https://univ-artois.hal.science/hal-03300600 %~ UNIV-ARTOIS %~ CNRS %~ UPJV-MIS-GOC %~ CRIL