Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2 Publications


2026 | Published | Thesis | PhD | IST-REx-ID: 21393 | OA
M. Dvorak, “Pursuit of truth and beauty in Lean 4 : Formally verified theory of grammars, optimization, matroids,” Institute of Science and Technology Austria, 2026.
[Published Version] View | Files available | DOI
 

2017 | Published | Thesis | PhD | IST-REx-ID: 992 | OA
M. Rolinek, “Complexity of constraint satisfaction,” Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

supervisor=3D50B0BA-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed