Robin Eßmann

According to our database, Robin Eßmann authored at least 2 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Verified Approximation Algorithms.

Robin Eßmann, Tobias Nipkow, Simon Robillard, Ujkan Sulejmani

Log. Methods Comput. Sci., 2022

2020

Verified Approximation Algorithms.

Robin Eßmann, Tobias Nipkow, Simon Robillard

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020