Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem - Université d'Artois Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem

Fichier principal
Vignette du fichier
main.pdf (394.48 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03300801 , version 1 (26-06-2024)

Identifiants

  • HAL Id : hal-03300801 , version 1

Citer

Takehide Soh, Daniel Le Berre, Stéphanie Roussel, Mutsunori Banbara, Naoyuki Tamura. Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem. 14th European Conference on Logics in Artificial Intelligence (JELIA'14), 2014, Madeira, Portugal. pp.684-693. ⟨hal-03300801⟩
25 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More