Conference Papers
Year : 1998
Fabien DELORME : Connect in order to contact the contributor
https://univ-artois.hal.science/hal-03300600
Submitted on : Tuesday, July 27, 2021-10:58:02 AM
Last modification on : Wednesday, September 20, 2023-3:36:06 PM
Dates and versions
Identifiers
- HAL Id : hal-03300600 , version 1
Cite
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⟩
Collections
11
View
0
Download