en
Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
59 Publications
2016 | Journal Article | IST-REx-ID: 1612 
Kazda, A. (2016). CSP for binary conservative relational structures. Algebra Universalis, 75(1), 75–84. https://doi.org/10.1007/s00012-015-0358-8
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 1794
Kolmogorov, V., & Takhanov, R. (2016). Inference algorithms for pattern-based CRFs on sequence data. Algorithmica, 76(1), 17–46. https://doi.org/10.1007/s00453-015-0017-7
View
| Files available
| DOI
| Download (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 1193
Kolmogorov, V. (2016). Commutativity in the algorithmic Lovasz local lemma. In Proceedings - Annual IEEE Symposium on Foundations of Computer Science (Vol. 2016–December, p. 7782993). New Brunswick, NJ, USA : IEEE. https://doi.org/10.1109/FOCS.2016.88
View
| Files available
| DOI
| Download (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1377
Kolmogorov, V., Pock, T., & Rolinek, M. (2016). Total variation on a tree. SIAM Journal on Imaging Sciences, 9(2), 605–636. https://doi.org/10.1137/15M1010257
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 1353
Barto, L., & Kazda, A. (2016). Deciding absorption. International Journal of Algebra and Computation, 26(5), 1033–1060. https://doi.org/10.1142/S0218196716500430
View
| DOI
| Download (ext.)
2016 | Research Data | IST-REx-ID: 5557
Swoboda, P. (2016). Synthetic discrete tomography problems. IST Austria. https://doi.org/10.15479/AT:ISTA:46
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1636
Kolmogorov, V., Rolinek, M., & Takhanov, R. (2015). Effectiveness of structural restrictions for hybrid CSPs. Presented at the ISAAC: International Symposium on Algorithms and Computation, Nagoya, Japan: Springer. https://doi.org/10.1007/978-3-662-48971-0_48
View
| DOI
| Download (ext.)
2015 | Journal Article | IST-REx-ID: 1841
Kolmogorov, V. (2015). A new look at reweighted message passing. IEEE Transactions on Pattern Analysis and Machine Intelligence, 37(5), 919–930. https://doi.org/10.1109/TPAMI.2014.2363465
View
| DOI
| Download (ext.)
2015 | Conference Paper | IST-REx-ID: 1675
Dziembowski, S., Faust, S., Kolmogorov, V., & Pietrzak, K. Z. (2015). Proofs of space. Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-662-48000-7_29
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1637
Kolmogorov, V., Krokhin, A., & Rolinek, M. (2015). The complexity of general-valued CSPs (pp. 1246–1258). Presented at the FOCS: Foundations of Computer Science, Berkeley, CA, United States: IEEE. https://doi.org/10.1109/FOCS.2015.80
View
| Files available
| DOI
| Download (ext.)