Fabian Zaiser : Publications
-
[1]
The approximation ratio of the 2−Opt Heuristic for the metric Traveling Salesman Problem
Stefan Hougardy‚ Fabian Zaiser and Xianghui Zhong
In Oper. Res. Lett.. Vol. 48. No. 4. Pages 401–404. 2020.
Details about The approximation ratio of the 2−Opt Heuristic for the metric Traveling Salesman Problem | BibTeX data for The approximation ratio of the 2−Opt Heuristic for the metric Traveling Salesman Problem | DOI (10.1016/j.orl.2020.05.007) | Link to The approximation ratio of the 2−Opt Heuristic for the metric Traveling Salesman Problem
-
[2]
The Extended Theory of Trees and Algebraic (Co)datatypes
Fabian Zaiser and C.−H. Luke Ong
In Laurent Fribourg and Matthias Heizmann, editors, Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis‚ VPT/HCVS@ETAPS 2020‚ Dublin‚ Ireland‚ 25−26th April 2020. Vol. 320 of EPTCS. Pages 167–196. 2020.
Details about The Extended Theory of Trees and Algebraic (Co)datatypes | BibTeX data for The Extended Theory of Trees and Algebraic (Co)datatypes | DOI (10.4204/EPTCS.320.14) | Link to The Extended Theory of Trees and Algebraic (Co)datatypes