Martin Dvorak
Graduate School
Kolmogorov Group
3 Publications
2025 | Published | Journal Article | IST-REx-ID: 10045 | 
Generalized minimum 0-extension problem and discrete convexity
Dvorak, Martin, Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming 209. 2025
[Published Version]
View
| Files available
| DOI
| arXiv
Dvorak, Martin, Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming 209. 2025
2023 | Published | Conference Paper | IST-REx-ID: 13120 |
Closure properties of general grammars - formally verified
Dvorak, Martin, Closure properties of general grammars - formally verified. 14th International Conference on Interactive Theorem Proving 268. 2023
[Published Version]
View
| Files available
| DOI
| arXiv
Dvorak, Martin, Closure properties of general grammars - formally verified. 14th International Conference on Interactive Theorem Proving 268. 2023
2021 | Published | Conference Paper | IST-REx-ID: 9592 |
Massively winning configurations in the convex grabbing game on the plane
Dvorak, Martin, Massively winning configurations in the convex grabbing game on the plane. Proceedings of the 33rd Canadian Conference on Computational Geometry. 2021
[Published Version]
View
| Files available
| arXiv
Dvorak, Martin, Massively winning configurations in the convex grabbing game on the plane. Proceedings of the 33rd Canadian Conference on Computational Geometry. 2021
Grants
3 Publications
2025 | Published | Journal Article | IST-REx-ID: 10045 |
Generalized minimum 0-extension problem and discrete convexity
Dvorak, Martin, Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming 209. 2025
[Published Version]
View
| Files available
| DOI
| arXiv
Dvorak, Martin, Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming 209. 2025
2023 | Published | Conference Paper | IST-REx-ID: 13120 |
Closure properties of general grammars - formally verified
Dvorak, Martin, Closure properties of general grammars - formally verified. 14th International Conference on Interactive Theorem Proving 268. 2023
[Published Version]
View
| Files available
| DOI
| arXiv
Dvorak, Martin, Closure properties of general grammars - formally verified. 14th International Conference on Interactive Theorem Proving 268. 2023
2021 | Published | Conference Paper | IST-REx-ID: 9592 |
Massively winning configurations in the convex grabbing game on the plane
Dvorak, Martin, Massively winning configurations in the convex grabbing game on the plane. Proceedings of the 33rd Canadian Conference on Computational Geometry. 2021
[Published Version]
View
| Files available
| arXiv
Dvorak, Martin, Massively winning configurations in the convex grabbing game on the plane. Proceedings of the 33rd Canadian Conference on Computational Geometry. 2021