@inproceedings(concorde,
 author       = {David Applegate and Robert E. Bixby and Vasek Chv{\'{a}}tal and William J. Cook},
 year         = {2001},
 title        = {{TSP} Cuts Which Do Not Conform to the Template Paradigm},
 editor       = {Michael J{\"{u}}nger and Denis Naddef},
 booktitle    = {Computational Combinatorial Optimization, Optimal or Provably Near-Optimal Solutions [based on a Spring School, Schlo{\ss} Dagstuhl, Germany, 15-19 May 2000]},
 series       = {Lecture Notes in Computer Science},
 volume       = {2241},
 publisher    = {Springer},
 pages        = {261--304},
 doi          = {10.1007/3-540-45586-8\_7},
)
@inproceedings(Arora_PTAS,
 author       = {Sanjeev Arora},
 year         = {1996},
 title        = {Polynomial Time Approximation Schemes for Euclidean {TSP} and Other Geometric Problems},
 booktitle    = {37th Annual Symposium on Foundations of Computer Science, {FOCS} '96, Burlington, Vermont, USA, 14-16 October, 1996},
 publisher    = {{IEEE} Computer Society},
 pages        = {2--11},
 doi          = {10.1109/SFCS.1996.548458},
)
@article(GlobalConstraintsCHIP,
 author       = {N Beldiceanu and E Contejean},
 year         = {1994},
 title        = {Introducing Global Constraints in {CHIP}},
 journal      = {Math. Comput. Model.},
 volume       = {20},
 number       = {12},
 pages        = {97--123},
 doi          = {10.1016/0895-7177(94)90127-9},
)
@article(BenchimolHRRR12,
 author       = {Pascal Benchimol and Willem Jan van Hoeve and Jean{-}Charles R{\'{e}}gin and Louis{-}Martin Rousseau and Michel Rueher},
 year         = {2012},
 title        = {Improved filtering for weighted circuit constraints},
 journal      = {Constraints An Int. J.},
 volume       = {17},
 number       = {3},
 pages        = {205--233},
 doi          = {10.1007/s10601-012-9119-x},
)
@inproceedings(bertagnonG20,
 author       = {Alessandro Bertagnon and Marco Gavanelli},
 year         = {2020},
 title        = {Improved Filtering for the Euclidean Traveling Salesperson Problem in {CLP(FD)}},
 booktitle    = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI} 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA, February 7-12, 2020},
 publisher    = {{AAAI} Press},
 pages        = {1412--1419},
 doi          = {10.1609/aaai.v34i02.5498 0},
)
@inproceedings(CaseauLaburthe,
 author       = {Yves Caseau and Fran{\c{c}}ois Laburthe},
 year         = {1997},
 title        = {Solving Small TSPs with Constraints},
 editor       = {Lee Naish},
 booktitle    = {Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997},
 publisher    = {{MIT} Press},
 pages        = {316--330},
 doi          = {10.7551/mitpress/4299.003.0028},
)
@inproceedings(DBLP:conf/cpaior/DeudonCLAR18,
 author       = {Michel Deudon and Pierre Cournut and Alexandre Lacoste and Yossiri Adulyasak and Louis{-}Martin Rousseau},
 year         = {2018},
 title        = {Learning Heuristics for the {TSP} by Policy Gradient},
 editor       = {Willem Jan van Hoeve},
 booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, {CPAIOR} 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {10848},
 publisher    = {Springer},
 pages        = {170--181},
 doi          = {10.1007/978-3-319-93031-2\_12},
)
@inproceedings(CP_graph,
 author       = {Gr{\'{e}}goire Dooms and Yves Deville and Pierre Dupont},
 year         = {2005},
 title        = {{CP(Graph)}: Introducing a Graph Computation Domain in Constraint Programming},
 editor       = {Peter van Beek},
 booktitle    = {Principles and Practice of Constraint Programming - {CP} 2005, 11th International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {3709},
 publisher    = {Springer},
 pages        = {211--225},
 doi          = {10.1007/11564751\_18},
)
@article(DBLP:journals/corr/abs-1206-3437,
 author       = {Jean{-}Guillaume Fages and Xavier Lorca},
 year         = {2012},
 title        = {Improving the Asymmetric {TSP} by Considering Graph Structure},
 journal      = {CoRR},
 volume       = {abs/1206.3437},
)
@article(SalesmanAndTree,
 author       = {Jean{-}Guillaume Fages and Xavier Lorca and Louis{-}Martin Rousseau},
 year         = {2016},
 title        = {The salesman and the tree: the importance of search in {CP}},
 journal      = {Constraints},
 volume       = {21},
 number       = {2},
 pages        = {145--162},
 doi          = {10.1007/s10601-014-9178-2},
)
@article(AdditiveBoundingTSP,
 author       = {Matteo Fischetti and Paolo Toth},
 year         = {1992},
 title        = {An additive bounding procedure for the asymmetric travelling salesman problem},
 journal      = {Math. Program.},
 volume       = {53},
 pages        = {173--197},
 doi          = {10.1007/BF01585701},
)
@article(FocacciLM_AMAI02,
 author       = {Filippo Focacci and Andrea Lodi and Michela Milano},
 year         = {2002},
 title        = {Embedding Relaxations in Global Constraints for Solving {TSP} and {TSPTW}},
 journal      = {Ann. Math. Artif. Intell.},
 volume       = {34},
 number       = {4},
 pages        = {291--311},
 doi          = {10.1023/A:1014492408220},
)
@article(FocacciLM_Informs02,
 author       = {Filippo Focacci and Andrea Lodi and Michela Milano},
 year         = {2002},
 title        = {A Hybrid Exact Algorithm for the {TSPTW}},
 journal      = {{INFORMS} Journal on Computing},
 volume       = {14},
 number       = {4},
 pages        = {403--417},
 doi          = {10.1287/ijoc.14.4.403.2827},
)
@article(explainingCircuit,
 author       = {Kathryn Glenn Francis and Peter J. Stuckey},
 year         = {2014},
 title        = {Explaining circuit propagation},
 journal      = {Constraints},
 volume       = {19},
 number       = {1},
 pages        = {1--29},
 doi          = {10.1007/s10601-013-9148-0},
)
@inproceedings(TSPeuclideoNPhard,
 author       = {M. R. Garey and R. L. Graham and D. S. Johnson},
 year         = {1976},
 title        = {Some {NP}-complete Geometric Problems},
 booktitle    = {Proceedings of the Eighth Annual ACM Symposium on Theory of Computing},
 series       = {STOC '76},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {10--22},
 doi          = {10.1145/800113.803626},
)
@article(HeldKarp,
 author       = {Michael Held and Richard M. Karp},
 year         = {1970},
 title        = {The Traveling-Salesman Problem and Minimum Spanning Trees},
 journal      = {Operations Research},
 volume       = {18},
 number       = {6},
 pages        = {1138--1162},
 doi          = {10.1287/opre.18.6.1138},
)
@article(Helsgaun00,
 author       = {Keld Helsgaun},
 year         = {2000},
 title        = {An effective implementation of the {Lin}-{Kernighan} traveling salesman heuristic},
 journal      = {European Journal of Operational Research},
 volume       = {126},
 number       = {1},
 pages        = {106--130},
 doi          = {10.1016/S0377-2217(99)00284-2},
)
@inproceedings(isoart2019integration,
 author       = {Nicolas Isoart and Jean{-}Charles R{\'{e}}gin},
 year         = {2019},
 title        = {Integration of Structural Constraints into {TSP} Models},
 editor       = {Thomas Schiex and Simon de Givry},
 booktitle    = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {11802},
 publisher    = {Springer},
 pages        = {284--299},
 doi          = {10.1007/978-3-030-30048-7\_17},
)
@inproceedings(Karp72,
 author       = {Richard M. Karp},
 year         = {1972},
 title        = {Reducibility Among Combinatorial Problems},
 editor       = {Raymond E. Miller and James W. Thatcher},
 booktitle    = {Proceedings of a symposium on the Complexity of Computer Computations, held March 20-22, 1972, at the {IBM} Thomas J. Watson Research Center, Yorktown Heights, New York, {USA}},
 series       = {The {IBM} Research Symposia Series},
 publisher    = {Plenum Press, New York},
 pages        = {85--103},
 doi          = {10.1007/978-1-4684-2001-2\_9},
)
@inproceedings(KayaHooker,
 author       = {Latife Gen{\c{c}} Kaya and John N. Hooker},
 year         = {2006},
 title        = {A Filter for the Circuit Constraint},
 editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
 booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th International Conference, {CP} 2006, Nantes, France, September 25-29, 2006, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {4204},
 publisher    = {Springer},
 pages        = {706--710},
 doi          = {10.1007/11889205\_55},
)
@article(propia,
 author       = {{Le Provost}, Thierry and Mark Wallace},
 year         = {1993},
 title        = {Generalized Constraint Propagation over the {CLP} Scheme},
 journal      = {J. Log. Program.},
 volume       = {16},
 number       = {3},
 pages        = {319--359},
 doi          = {10.1016/0743-1066(93)90047-K},
)
@article(LinKernighan,
 author       = {S. Lin and Brian W. Kernighan},
 year         = {1973},
 title        = {An Effective Heuristic Algorithm for the Traveling-Salesman Problem},
 journal      = {Operations Research},
 volume       = {21},
 number       = {2},
 pages        = {498--516},
 doi          = {10.1287/opre.21.2.498},
)
@article(Mitchell_PTAS,
 author       = {Joseph S. B. Mitchell},
 year         = {1999},
 title        = {Guillotine Subdivisions Approximate Polygonal Subdivisions: {A} Simple Polynomial-Time Approximation Scheme for Geometric {TSP}, k-{MST}, and Related Problems},
 journal      = {{SIAM} J. Comput.},
 volume       = {28},
 number       = {4},
 pages        = {1298--1309},
 doi          = {10.1137/S0097539796309764},
)
@article(PesantGPR98,
 author       = {Gilles Pesant and Michel Gendreau and Jean{-}Yves Potvin and Jean{-}Marc Rousseau},
 year         = {1998},
 title        = {An Exact Constraint Logic Programming Algorithm for the Traveling Salesman Problem with Time Windows},
 journal      = {Transportation Science},
 volume       = {32},
 number       = {1},
 pages        = {12--29},
 doi          = {10.1287/trsc.32.1.12},
)
@inproceedings(alldifferent,
 author       = {Jean{-}Charles R{\'{e}}gin},
 year         = {1994},
 title        = {A Filtering Algorithm for Constraints of Difference in {CSPs}},
 editor       = {Hayes{-}Roth, Barbara and Richard E. Korf},
 booktitle    = {Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31 - August 4, 1994, Volume 1.},
 publisher    = {{AAAI} Press / The {MIT} Press},
 pages        = {362--367},
)
@article(tsplib,
 author       = {Gerhard Reinelt},
 year         = {1991},
 title        = {{TSPLIB} - {A} Traveling Salesman Problem Library},
 journal      = {{INFORMS} Journal on Computing},
 volume       = {3},
 number       = {4},
 pages        = {376--384},
 doi          = {10.1287/ijoc.3.4.376},
)
@article(ECLiPSe,
 author       = {Joachim Schimpf and Kish Shen},
 year         = {2012},
 title        = {ECL${}^{\unhbox\voidb@x \hbox{i}}$PS${}^{\unhbox\voidb@x \hbox{e}}$ - From {LP} to {CLP}},
 journal      = {Theory Pract. Log. Program.},
 volume       = {12},
 number       = {1-2},
 pages        = {127--156},
 doi          = {10.1017/S1471068411000469},
)
@inproceedings(tableConstraintNengFa,
 author       = {Neng{-}Fa Zhou},
 year         = {2009},
 title        = {Encoding Table Constraints in {CLP(FD)} Based on Pair-Wise {AC}},
 editor       = {Patricia M. Hill and David Scott Warren},
 booktitle    = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {5649},
 publisher    = {Springer},
 pages        = {402--416},
 doi          = {10.1007/978-3-642-02846-5\_33},
)