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

Takehide Soh; Daniel Le Berre; Stéphanie Roussel; Mutsunori Banbara; Naoyuki Tamura

Conference papers

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

Takehide Soh ¹ Daniel Le Berre ² Stéphanie Roussel ² Mutsunori Banbara ¹ Naoyuki Tamura ¹

1 Kobe University

2 CRIL - Centre de Recherche en Informatique de Lens

Document type :

Conference papers

Domain :

Computer Science [cs] / Artificial Intelligence [cs.AI]

Complete list of metadata

https://hal-univ-artois.archives-ouvertes.fr/hal-03300801
Contributor : Fabien Delorme Connect in order to contact the contributor
Submitted on : Tuesday, July 27, 2021 - 12:08:08 PM
Last modification on : Thursday, September 9, 2021 - 3:10:25 PM

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

Identifiers

Collections

Citation

Export

Metrics

13

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

Identifiers

Collections

Citation

Export

Share

Metrics

13