Login / Signup
In Pursuit of an Efficient SAT Encoding for the Hamiltonian Cycle Problem.
Neng-Fa Zhou
Published in:
CP (2020)
Keyphrases
</>
hamiltonian cycle
sat encodings
graph coloring
traveling salesman problem
phase transition
combinatorial problems
constraint satisfaction problems
job shop scheduling
constraint programming
sat solvers
max sat