A SAT Based Effective Algorithm for the Directed Hamiltonian Cycle Problem.

Gerold Jäger Weixiong Zhang

Published in: CSR (2010)

Keyphrases

hamiltonian cycle
learning algorithm
optimal solution
computational complexity
dynamic programming
benchmark problems
objective function
np hard
cost function
particle swarm optimization
linear program
genetic algorithm
search space