Skip to Main content Skip to Navigation
Conference papers

Mieux exploiter les échecs au sein des arbres de recherche à la Davis et Putnam

Laure Brisoux Lakhdar Saïs 1 Éric Grégoire 1
1 CRIL - Centre de Recherche en Informatique de Lens
Document type :
Conference papers
Complete list of metadata
https://hal-univ-artois.archives-ouvertes.fr/hal-03300600
Contributor : Fabien Delorme <>
Submitted on : Tuesday, July 27, 2021 - 10:58:02 AM
Last modification on : Thursday, September 9, 2021 - 3:10:29 PM

Identifiers

  • HAL Id : hal-03300600, version 1

Collections

UNIV-ARTOIS | CNRS | CRIL

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

3