Clauses used
Closed this issue · 1 comments
cauimsouza commented
Hello!
I'm currently working in a similar scholar project and I'd like to know what clauses are you using to reduce the hamiltonian path problem to a SAT instance?
Are you using any additional heuristic for optimization?
Thank you
LukasKlose commented
Hi cauimsouza,
you can find our clauses in the code under conditionXX (XX going from 1 to 12).