Une approche basée sur la décomposition arborescente pour la résolution d'instances SAT structurées - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Une approche basée sur la décomposition arborescente pour la résolution d'instances SAT structurées

Résumé

Non disponible

Domaines

Intelligence artificielle [cs.AI]
Fichier principal
Vignette du fichier
paper_12.pdf (185.22 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Yves Deville  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00387823

Soumis le : lundi 25 mai 2009-21:13:18

Dernière modification le : mardi 5 décembre 2023-18:08:07

Archivage à long terme le : jeudi 10 juin 2010-21:47:52

Télécharger pour visualiser

Dates et versions

hal-00387823 , version 1 (25-05-2009)

Identifiants

  • HAL Id : hal-00387823 , version 1

Citer

Djamal Habet, Lionel Paris, Cyril Terrioux. Une approche basée sur la décomposition arborescente pour la résolution d'instances SAT structurées. Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.85-95. ⟨hal-00387823⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLN CNRS UNIV-AMU JFPC09 LIS-LAB IRENAV LAMPA LCPI LABOMAP LISPEN MSMP
71 Consultations
53 Téléchargements

Partager

Gmail Facebook X LinkedIn More