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

Takehide Soh, Daniel Le Berre, Stphanie Roussel, Mutsunori Banbara, Naoyuki Tamura

Browse the full JELIA paper archive.