Ujkan Sulejmani

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Approximation Algorithms

Top Venues

Arch. Formal Proofs

Log. Methods Comput. Sci.

Publications

Robin Eßmann, Tobias Nipkow, Simon Robillard, Ujkan Sulejmani
Verified Approximation Algorithms. Log. Methods Comput. Sci. 18 (1) (2022)
Ujkan Sulejmani, Manuel Eberl, Katharina Kreuzer
The Hales-Jewett Theorem. Arch. Formal Proofs 2022 (2022)