Algorithms and Logic
- Overview
- Researchers
- Research outputs
- Projects
- Activities
- Journals
- Publishers
- Press clippings
- Statistics
- 2017
- Published
A proof of the Barát-Thomassen conjecture. / Bensmail, Julien; Harutyunyan, Ararat; Le, Tien Nam; Merker, Martin; Thomassé, Stéphan.
In: Journal of Combinatorial Theory. Series B, Vol. 124, 2017, p. 39-55.Research output: Research - peer-review › Journal article – Annual report year: 2017
- Published
A Runtime Analysis of Parallel Evolutionary Algorithms in Dynamic Optimization. / Lissovoi, Andrei; Witt, Carsten.
In: Algorithmica, Vol. 78, No. 2, 2017, p. 641–659.Research output: Research - peer-review › Journal article – Annual report year: 2016
- Published
Certified Soundness of Simplest Known Formulation of First-Order Logic. / Larsen, John Bruntse.
Proceedings of the ESSLLI 2017 Student Session. 2017. p. 25-36.Research output: Research - peer-review › Article in proceedings – Annual report year: 2017
- Published
Characterizing width two for variants of treewidth. / Bodlaender, Hans L.; Kratsch, Stefan; Kreuzen, Vincent J.C.; Kwon, O-joung; Ok, Seongmin.
In: Discrete Applied Mathematics, Vol. 216, No. 1, 2017, p. 29–46.Research output: Research - peer-review › Journal article – Annual report year: 2015
- Published
Chords in longest cycles. / Thomassen, Carsten.
In: Journal of Combinatorial Theory. Series B, Vol. 129, 2017, p. 148-157.Research output: Research - peer-review › Journal article – Annual report year: 2017
- Published
Chromatic number via Turán number. / Alishahi, Meysam; Hajiabolhassan, Hossein.
In: Discrete Mathematics, Vol. 340, No. 10, 2017, p. 2366-2377.Research output: Research - peer-review › Journal article – Annual report year: 2017
- Published
Compressed Subsequence Matching and Packed Tree Coloring. / Bille, Philip; Cording, Patrick Hagge; Gørtz, Inge Li.
In: Algorithmica, Vol. 77, No. 2, 2017, p. 336–348.Research output: Research - peer-review › Journal article – Annual report year: 2015
- Published
Cooperative epistemic multi-agent planning for implicit coordination. / Engesser, Thorsten ; Bolander, Thomas; Mattmüller, Robert; Nebel, Bernhard.
In: Electronic Proceedings in Theoretical Computer Science, Vol. 243, 2017, p. 75-90.Research output: Research - peer-review › Conference article – Annual report year: 2017
- Published
Cycles through all finite vertex sets in infinite graphs. / Kundgen, Andre; Li, Binlong; Thomassen, Carsten.
In: European Journal of Combinatorics, Vol. 65, 2017, p. 259–275.Research output: Research - peer-review › Journal article – Annual report year: 2017
- Published
Density of Real Zeros of the Tutte Polynomial. / Ok, Seongmin; Perrett, Thomas.
In: Electronic Notes in Discrete Mathematics, Vol. 61, 2017, p. 941-946.Research output: Research - peer-review › Journal article – Annual report year: 2017