1. The traveling salesman problem. Version visited last on 15 April 2014. http://www.math.uwaterloo.ca/tsp/ (2014)
2. Applegate, D.: Personal communication (2009)
3. Applegate, D., Bixby, R.E., Chvatal, V., Cook, W.J.: The traveling salesman problem: a computational study. Princeton University Press, Princeton (2006)
4. Applegate, D., Bixby, R.E., Chvatal, V., Cook, W.J.: Concorde TSP solver. Version visited last on 15 April 2014. http://www.math.uwaterloo.ca/tsp/concorde.html (2014)
5. Beame, P., Pitassi, T.: Propositional proof complexity: past, present, and future. In: Current trends in theoretical computer science: entering the 21st century, pp. 42–70. World Scientific Publishing (2001)