Robin Eßmann

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 4

Top Topics

Constant Factor Approximation

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)
Robin Eßmann, Tobias Nipkow, Simon Robillard
Verified Approximation Algorithms. CoRR (2021)
Robin Eßmann, Tobias Nipkow, Simon Robillard
Verified Approximation Algorithms. IJCAR (2) (2020)
Robin Eßmann, Tobias Nipkow, Simon Robillard
Verified Approximation Algorithms. Arch. Formal Proofs 2020 (2020)