Programmering, logik og intelligente systemer

Publikationer 2006 2019

Filter
Rapport
2018

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

Christiansen, H. & Kirkeby, M. H., 3 okt. 2018, Roskilde: Roskilde Universitet. 20 s. (Roskilde Universitet. Computer Science. Computer Science Research Report, Bind 153).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
Fil
2015

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

Helsgaun, K., 15 jan. 2015, Roskilde: Roskilde Universitet. 6 s.

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
2014

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

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

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
Fil

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

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

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
Fil
2013

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

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

Publikation: Bog/antologi/afhandling/rapportRapportForskning

2006

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

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

Publikation: Bog/antologi/afhandling/rapportRapportForskning