Martin Dvorak

Graduate School
Kolmogorov Group

3 Publications

Mark all

[3]
2025 | Published | Journal Article | IST-REx-ID: 10045 | OA
Dvorak, Martin, Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming 209. 2025
[Published Version] View | Files available | DOI | arXiv
 
[2]
2023 | Published | Conference Paper | IST-REx-ID: 13120 | OA
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
 
[1]
2021 | Published | Conference Paper | IST-REx-ID: 9592 | OA
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
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed

Grants


3 Publications

Mark all

[3]
2025 | Published | Journal Article | IST-REx-ID: 10045 | OA
Dvorak, Martin, Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming 209. 2025
[Published Version] View | Files available | DOI | arXiv
 
[2]
2023 | Published | Conference Paper | IST-REx-ID: 13120 | OA
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
 
[1]
2021 | Published | Conference Paper | IST-REx-ID: 9592 | OA
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
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed