참고문헌
Spears, William M., Simulated annealing for hard satisfiability problems, Cliques, Coloring, and Satisfiability **26** (1993): 533-558.
Myklebust, Tor GJ., Solving maximum cut problems by simulated annealing
https://www.math.wustl.edu/~feres/Math350Fall12.html
https://www.physics.rutgers.edu/~haule/509/Traveling_Salesman1.html