Programming, Logic and Intelligent Systems

Research Output

Filter
Report
2019

Flexible Query Answering Systems: 13th International Conference, FQAS 2019, Amantea, Italy, July 2-5, 2019, Proceedings

Cuzzocrea, A., Greco, S., Legind Larsen, H., Sacca, D., Andreasen, T. & Christiansen, H., 2019, Forlaget Spring. 414 p. (Lecture notes in artificial intelligence).

Research output: Book/ReportReportResearchpeer-review

2018

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

Christiansen, H. & Kirkeby, M. H., 3 Oct 2018, Roskilde: Roskilde Universitet. 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