Libor Barto
Libor Barto
Department of Algebra, Charles University, Prague
Verified email at mff.cuni.cz - Homepage
Title
Cited by
Cited by
Year
The CSP dichotomy holds for digraphs with no sources and no sinks (a positive answer to a conjecture of Bang-Jensen and Hell)
L Barto, M Kozik, T Niven
SIAM Journal on Computing 38 (5), 1782-1802, 2009
1822009
Constraint satisfaction problems of bounded width
L Barto, M Kozik
2009 50th Annual IEEE Symposium on Foundations of Computer Science, 595-603, 2009
1722009
Constraint satisfaction problems solvable by local consistency methods
L Barto, M Kozik
Journal of the ACM (JACM) 61 (1), 1-19, 2014
1572014
Absorbing subalgebras, cyclic terms, and the constraint satisfaction problem
L Barto, M Kozik
arXiv preprint arXiv:1201.0557, 2012
1232012
Polymorphisms, and how to use them
L Barto, A Krokhin, R Willard
Dagstuhl Follow-Ups 7, 2017
952017
The wonderland of reflections
L Barto, J Opršal, M Pinsker
Israel Journal of Mathematics 223 (1), 363-398, 2018
812018
The dichotomy for conservative constraint satisfaction problems revisited
L Barto
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 301-310, 2011
732011
The collapse of the bounded width hierarchy
L Barto
Journal of Logic and Computation 26 (3), 923-943, 2014
572014
The algebraic dichotomy conjecture for infinite domain constraint satisfaction problems
L Barto, M Pinsker
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-8, 2016
552016
Finitely related algebras in congruence distributive varieties have near unanimity terms
L Barto
Canadian Journal of Mathematics 65 (1), 3-21, 2013
512013
Robust satisfiability of constraint satisfaction problems
L Barto, M Kozik
Proceedings of the forty-fourth annual ACM symposium on Theory of computing …, 2012
472012
Graphs, polymorphisms and the complexity of homomorphism problems
L Barto, M Kozik, T Niven
Proceedings of the fortieth annual ACM symposium on Theory of computing, 789-796, 2008
362008
On the scope of the universal-algebraic approach to constraint satisfaction
M Bodirsky, M Hils, B Martin
2010 25th Annual IEEE Symposium on Logic in Computer Science, 90-99, 2010
332010
The constraint satisfaction problem and universal algebra
L Barto
The Bulletin of Symbolic Logic, 319-337, 2015
312015
CSP dichotomy for special triads
L Barto, M Kozik, M Maróti, T Niven
Proceedings of the American Mathematical Society 137 (9), 2921-2934, 2009
312009
Near unanimity constraints have bounded pathwidth duality
L Barto, M Kozik, R Willard
2012 27th Annual IEEE Symposium on Logic in Computer Science, 125-134, 2012
302012
New conditions for Taylor varieties and CSP
L Barto, M Kozik
2010 25th Annual IEEE Symposium on Logic in Computer Science, 100-109, 2010
302010
The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems
L Barto, M Kompatscher, M Olšák, T Van Pham, M Pinsker
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
292017
Congruence distributivity implies bounded width
L Barto, M Kozik
SIAM Journal on Computing 39 (4), 1531-1542, 2010
282010
Mal’tsev conditions, lack of absorption, and solvability
L Barto, M Kozik, D Stanovský
Algebra universalis 74 (1), 185-206, 2015
252015
The system can't perform the operation now. Try again later.
Articles 1–20