Miroslav Olsák
According to our database1,
Miroslav Olsák
authored at least 24 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving.
CoRR, 2024
2023
Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023
2022
Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022
2021
J. Symb. Log., 2021
Erratum: Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures.
J. Math. Log., 2021
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021
Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021
Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021
2020
Proceedings of the Mathematical Software - ICMS 2020, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
2019
Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures.
J. Math. Log., 2019
Topology is relevant (in the infinite-domain dichotomy conjecture for constraint satisfaction problems).
CoRR, 2019
Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems).
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019
2018
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018
2017
The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017