Schoolof Inf., Yunnan Univ. of Finance Econ., Kunming, China;
combinatorial mathematics; formal verification; program diagnostics; travelling salesman problems; NP-complete problem; PAR methods; abstract Apla program; algorithm correctness proof; combinatorial optimization; formal derivation; formal methods; partition and recur method; software credibility; traveling salesman problem; Algorithm design and analysis; Cities and towns; Educational institutions; Optimization; Partitioning algorithms; Software algorithms; Traveling salesman problems; Formal method; Functional specif;
机译:平等的空间转化–广义旅行商问题到旅行商问题
机译:关于图形旅行推销员多面体,对称旅行推销员多面体和公制圆锥之间的关系的注释
机译:将广义旅行推销员问题有效转化为图上的旅行推销员问题
机译:通过使用分支和绑定解决标准旅行推销员问题和多次旅行推销员问题
机译:TSP的奇妙放松以及如何绑定它们:放松旅行的推销员问题及其完整性差距
机译:多种概率旅行推销员问题在毒品运输协调 - 在可持续发展目标和行业的背景下4.0
机译:通过转变为经典旅行商问题解决铁路旅行商问题