A SAT based effective algorithm for the directed Hamiltonian cycle problem

  • Gerold Jäger
  • , Weixiong Zhang

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Fingerprint

Dive into the research topics of 'A SAT based effective algorithm for the directed Hamiltonian cycle problem'. Together they form a unique fingerprint.

Keyphrases

Computer Science