Libor Barto
According to our database^{1},
Libor Barto
authored at least 31 papers
between 2005 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2020
Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems).
SIAM J. Comput., 2020
CoRR, 2020
CoRR, 2020
CoRR, 2020
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020
2019
Equations in oligomorphic clones and the constraint satisfaction problem for ωcategorical structures.
J. Math. Log., 2019
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019
Proceedings of the Fundamentals of Computation Theory  22nd International Symposium, 2019
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
Proceedings of the Constraint Satisfaction Problem: Complexity and Approximability, 2017
Proceedings of the Constraint Satisfaction Problem: Complexity and Approximability, 2017
2016
SIAM J. Comput., 2016
J. Log. Comput., 2016
Int. J. Algebra Comput., 2016
The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016
2015
CoRR, 2015
2014
ACM SIGLOG News, 2014
J. ACM, 2014
2013
Int. J. Algebra Comput., 2013
2012
Log. Methods Comput. Sci., 2012
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012
2011
Electron. Colloquium Comput. Complex., 2011
Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011
2010
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010
2009
The CSP Dichotomy Holds for Digraphs with No Sources and No Sinks (A Positive Answer to a Conjecture of BangJensen and Hell).
SIAM J. Comput., 2009
SIAM J. Comput., 2009
Appl. Categorical Struct., 2009
Proceedings of the 50th Annual IEEE Symposium on Foundations of Computer Science, 2009
2008
Proceedings of the 40th Annual ACM Symposium on Theory of Computing, 2008
2005
Appl. Categorical Struct., 2005