Programming, Logic and Intelligent Systems

Research Output 2006 2018

Filter
Report
2018

Confluence of CHR revisited: invariants and modulo equivalence [Extended version with proofs]

Christiansen, H. & Kirkeby, M. H., 3 Oct 2018, Computer Science, Roskilde University. 20 p. (Roskilde Universitet. Computer Science. Computer Science Research Report, Vol. 153).

Research output: Book/ReportReportResearch

Open Access
File
2015

Solving Arc Routing Problems Using the Lin-Kernighan-Helsgaun Algorithm

Helsgaun, K., 15 Jan 2015, Roskilde: Roskilde Universitet. 6 p.

Research output: Book/ReportReportResearch

Open Access
2014

Solving the Bottleneck Traveling Salesman Problem Using the Lin-Kernighan-Helsgaun Algorithm

Helsgaun, K., 2014, Roskilde: Roskilde Universitet. 42 p. (Roskilde Universitet. Computer Science. Computer Science Research Report, Vol. 143).

Research output: Book/ReportReportResearch

Open Access
File

Solving the Clustered Traveling Salesman Problem Using the Lin-Kernighan-Helsgaun Algorithm

Helsgaun, K., 2014, Roskilde: Roskilde Universitet. 13 p. (Roskilde Universitet. Computer Science. Computer Science Research Report, Vol. 142).

Research output: Book/ReportReportResearch

Open Access
File
2013

Solving the Equality Generalized Traveling Salesman Problem Using the Lin-Kernighan-Helsgaun Algorithm

Helsgaun, K., 2013, Roskilde: Roskilde Universitet. 15 p. (Roskilde Universitet. Computer Science. Computer Science Research Report, Vol. 141).

Research output: Book/ReportReportResearch

2006

An Effective Implementation of K-opt Moves for the Lin-Kernighan TSP Heuristic

Helsgaun, K., 2006, Roskilde: Roskilde Universitet. 99 p. (Roskilde Universitet. Computer Science. Computer Science Research Report).

Research output: Book/ReportReportResearch