# Miroslav Olsák

According to our database

Collaborative distances:

^{1}, Miroslav Olsák authored at least 10 papers between 2017 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

CoRR, 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

ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description).

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