Personal information

Websites & social links

Homepage

Other IDs

Scopus Author ID: 15730099400
ResearcherID: P-6326-2017

Activities

Collapse all

Employment (1)

Charles University, Faculty of Mathematics and Physics: Prague, CZ

associate professor (Department of Algebra)
Employment
Source: Self-asserted source
Libor Barto

Works (47)

Algebraic Approach to Approximation

2024-07-08 | Conference paper
DOI: 10.1145/3661814.3662076
Contributors: Libor Barto; Silvia Butti; Alexandr Kazda; Caterina Viola; Stanislav Živný
Source: check_circle
Crossref

Fixed-Template Promise Model Checking Problems

Leibniz International Proceedings in Informatics, LIPIcs
2022 | Conference paper
DOI: 10.4230/LIPIcs.CP.2022.2
EID:

2-s2.0-85135689338

Part of ISSN: 18688969
Contributors: Asimi, K.; Barto, L.; Butti, S.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 3)‎

Weisfeiler-Leman Invariant Promise Valued CSPs

Leibniz International Proceedings in Informatics, LIPIcs
2022 | Conference paper
DOI: 10.4230/LIPIcs.CP.2022.4
EID:

2-s2.0-85135723892

Part of ISSN: 18688969
Contributors: Barto, L.; Butti, S.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 3)‎

Combinatorial gap theorem and reductions between promise CSPS

arXiv
2021 | Other
EID:

2-s2.0-85111446558

Part of ISSN: 23318422
Contributors: Barto, L.; Kozik, M.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 3)‎

Minimal Taylor algebras as a common framework for the three algebraic approaches to the CSP

arXiv
2021 | Other
EID:

2-s2.0-85106451410

Part of ISSN: 23318422
Contributors: Barto, L.; Brady, Z.; Bulatov, A.; Kozik, M.; Zhuk, D.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 3)‎

Constraint satisfaction problems over finite structures

arXiv
2020 | Other
EID:

2-s2.0-85103306498

Part of ISSN: 23318422
Contributors: Barto, L.; Demeo, W.; Mottet, A.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 3)‎

Finitely tractable promise constraint satisfaction problems

arXiv
2020 | Other
EID:

2-s2.0-85098427130

Part of ISSN: 23318422
Contributors: Asimi, K.; Barto, L.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 3)‎

Sensitive instances of the Constraint Satisfaction Problem

arXiv
2020 | Other
EID:

2-s2.0-85095017211

Part of ISSN: 23318422
Contributors: Barto, L.; Kozik, M.; Tan, J.; Valeriote, M.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 3)‎

Symmetric promise constraint satisfaction problems: Beyond the boolean case

arXiv
2020 | Other
EID:

2-s2.0-85098435975

Part of ISSN: 23318422
Contributors: Barto, L.; Battistelli, D.; Berg, K.M.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 3)‎

Accessible set functors are universal

arXiv
2019 | Other
EID:

2-s2.0-85094051229

Part of ISSN: 23318422
Contributors: Barto, L.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 3)‎

Algebraic Theory of Promise Constraint Satisfaction Problems, First Steps

2019 | Book chapter
DOI: 10.1007/978-3-030-25027-0_1
Contributors: Libor Barto
Source: check_circle
Crossref
grade
Preferred source (of 4)‎

Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures

Journal of Mathematical Logic
2019 | Journal article
DOI: 10.1142/S0219061319500107
EID:

2-s2.0-85066098751

Part of ISSN: 02190613
Contributors: Barto, L.; Kompatscher, M.; Olšák, M.; Trung, V.P.; Pinsker, M.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier

Erratum: Equations in oligomorphic clones and the constraint satisfaction problem for ω -categorical structures (Journal of Mathematical Logic (2019) 19:2 (31) DOI: 10.1142/S0219061319500107)

Journal of Mathematical Logic
2019 | Journal article
DOI: 10.1142/S021906132192001X
EID:

2-s2.0-85111447936

Part of ISSN: 02190613
Contributors: Barto, L.; Kompatscher, M.; Olšák, M.; Pham, T.V.; Pinsker, M.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier

Promises Make Finite (Constraint Satisfaction) Problems Infinitary

arXiv
2019 | Other
EID:

2-s2.0-85094713077

Part of ISSN: 23318422
Contributors: Barto, L.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 3)‎

The minimal arity of near unanimity polymorphisms

Mathematica Slovaca
2019 | Journal article
DOI: 10.1515/ms-2017-0223
EID:

2-s2.0-85063536084
Contributors: Barto, L.; Draganov, O.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 3)‎

TOPOLOGY IS IRRELEVANT (IN A DICHOTOMY CONJECTURE FOR INFINITE DOMAIN CONSTRAINT SATISFACTION PROBLEMS)

arXiv
2019 | Other
EID:

2-s2.0-85093252400

Part of ISSN: 23318422
Contributors: Barto, L.; Pinsker, M.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 3)‎

Algebraic approach to promise constraint satisfaction

arXiv
2018 | Other
EID:

2-s2.0-85093048742

Part of ISSN: 23318422
Contributors: Barto, L.; Bulín, J.; Krokhin, A.; Opršal, J.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 3)‎

Finitely related algebras in congruence modular varieties have few subpowers

Journal of the European Mathematical Society
2018 | Journal article
DOI: 10.4171/JEMS/790
EID:

2-s2.0-85046904602
Contributors: Barto, L.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier

The wonderland of reflections

Israel Journal of Mathematics
2018 | Journal article
DOI: 10.1007/s11856-017-1621-9
EID:

2-s2.0-85035759181
Contributors: Barto, L.; Opršal, J.; Pinsker, M.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier

Deciding absorption in relational structures

Algebra Universalis
2017 | Journal article
DOI: 10.1007/s00012-017-0440-5
EID:

2-s2.0-85019581466
Contributors: Barto, L.; Bulín, J.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 2)‎

The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems

Proceedings - Symposium on Logic in Computer Science
2017 | Conference paper
DOI: 10.1109/LICS.2017.8005128
EID:

2-s2.0-85034035973
Contributors: Barto, L.; Kompatscher, M.; Olšák, M.; Pham, T.V.; Pinsker, M.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier

Deciding absorption

International Journal of Algebra and Computation
2016 | Journal article
DOI: 10.1142/S0218196716500430
EID:

2-s2.0-84979222105
Contributors: Barto, L.; Kazda, A.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 2)‎

Robustly solvable constraint satisfaction problems

SIAM Journal on Computing
2016 | Journal article
DOI: 10.1137/130915479
EID:

2-s2.0-84990966353
Contributors: Barto, L.; Kozik, M.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 2)‎

The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems

Proceedings - Symposium on Logic in Computer Science
2016 | Conference paper
DOI: 10.1145/2933575.2934544
EID:

2-s2.0-84994628003
Contributors: Barto, L.; Pinsker, M.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 2)‎

The collapse of the bounded width hierarchy

Journal of Logic and Computation
2016 | Journal article
DOI: 10.1093/logcom/exu070
EID:

2-s2.0-84973379923
Contributors: Barto, L.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 2)‎

Mal’tsev conditions, lack of absorption, and solvability

Algebra Universalis
2015 | Journal article
DOI: 10.1007/s00012-015-0338-z
EID:

2-s2.0-84938423209
Contributors: Barto, L.; Kozik, M.; Stanovský, D.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 2)‎

THE CONSTRAINT SATISFACTION PROBLEM AND UNIVERSAL ALGEBRA

Bulletin of Symbolic Logic
2015 | Journal article
DOI: 10.1017/bsl.2015.25
EID:

2-s2.0-84962272300
Contributors: Barto, L.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 2)‎

Constraint satisfaction problems solvable by local consistency methods

Journal of the ACM
2014 | Journal article
DOI: 10.1145/2556646
EID:

2-s2.0-84893296690
Contributors: Barto, L.; Kozik, M.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 2)‎

CSP dichotomy for special polyads

International Journal of Algebra and Computation
2013 | Journal article
DOI: 10.1142/S0218196713500215
EID:

2-s2.0-84883166542
Contributors: Barto, L.; Bulín, J.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 2)‎

Finitely related algebras in congruence distributive varieties have near unanimity terms

Canadian Journal of Mathematics
2013 | Journal article
DOI: 10.4153/CJM-2011-087-3
EID:

2-s2.0-84891279525
Contributors: Barto, L.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 2)‎

Absorbing subalgebras, cyclic terms, and the Constraint Satisfaction Problem

Logical Methods in Computer Science
2012 | Journal article
DOI: 10.2168/LMCS-8(1:07)2012
EID:

2-s2.0-84860015335
Contributors: Barto, L.; Kozik, M.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 2)‎

Near unanimity constraints have bounded pathwidth duality

Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012
2012 | Conference paper
DOI: 10.1109/LICS.2012.24
EID:

2-s2.0-84867174440
Contributors: Barto, L.; Kozik, M.; Willard, R.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 2)‎

Robust satisfiability of constraint satisfaction problems

Proceedings of the Annual ACM Symposium on Theory of Computing
2012 | Conference paper
DOI: 10.1145/2213977.2214061
EID:

2-s2.0-84862624172
Contributors: Barto, L.; Kozik, M.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier

The dichotomy for conservative constraint satisfaction problems revisited

Proceedings - Symposium on Logic in Computer Science
2011 | Conference paper
DOI: 10.1109/LICS.2011.25
EID:

2-s2.0-80052155421
Contributors: Barto, L.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 2)‎

Cyclic terms for SD<sub>∨</sub> varieties revisited

Algebra Universalis
2010 | Journal article
DOI: 10.1007/s00012-010-0094-z
EID:

2-s2.0-78650006958
Contributors: Barto, L.; Kozik, M.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 2)‎

New conditions for Taylor varieties and CSP

Proceedings - Symposium on Logic in Computer Science
2010 | Conference paper
DOI: 10.1109/LICS.2010.34
EID:

2-s2.0-78449292659
Contributors: Barto, L.; Kozik, M.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 2)‎

Congruence distributivity implies bounded width

SIAM Journal on Computing
2009 | Journal article
DOI: 10.1137/080743238
EID:

2-s2.0-84893240452
Contributors: Barto, L.; Kozik, M.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 2)‎

Congruence modularity implies cyclic terms for finite algebras

Algebra Universalis
2009 | Journal article
DOI: 10.1007/s00012-009-0025-z
EID:

2-s2.0-70450235190
Contributors: Barto, L.; Kozik, M.; Maróti, M.; McKenzie, R.; Niven, T.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 2)‎

Constraint satisfaction problems of bounded width

Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS
2009 | Conference paper
DOI: 10.1109/FOCS.2009.32
EID:

2-s2.0-77952395856
Contributors: Barto, L.; Kozik, M.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier

CSP DICHOTOMY FOR SPECIAL TRIADS

Proceedings of the American Mathematical Society
2009 | Journal article
WOSUID:

WOS:000269307400014
Contributors: Barto, Libor; Kozik, Marcin; Maroti, Miklos; Niven, Todd
Source: Self-asserted source
Libor Barto via ResearcherID
grade
Preferred source (of 3)‎

Slices of essentially algebraic categories

Applied Categorical Structures
2009 | Journal article
DOI: 10.1007/s10485-008-9150-7
EID:

2-s2.0-63049118990
Contributors: Barto, L.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 2)‎

Graphs, Polymorphisms and the Complexity of Homomorphism Problems

Stoc'08: Proceedings of the 2008 Acm International Symposium on Theory of Computing
2008 | Journal article
WOSUID:

WOS:000266622800085
Contributors: Barto, Libor; Kozik, Marcin; Niven, Todd; ACM
Source: Self-asserted source
Libor Barto via ResearcherID
grade
Preferred source (of 3)‎

The CSP dichotomy holds for digraphs with no sources and no sinks (a positive answer to a conjecture of Bang-Jensen and Hell)

SIAM Journal on Computing
2008 | Journal article
DOI: 10.1137/070708093
EID:

2-s2.0-84856013385
Contributors: Barto, L.; Kozik, M.; Niven, T.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 2)‎

Finitary set endofunctors are alg-universal

Algebra Universalis
2007 | Journal article
DOI: 10.1007/s00012-007-2011-7
EID:

2-s2.0-34547726697
Contributors: Barto, L.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 2)‎

The category of varieties and interpretations is alg-universal

Journal of Pure and Applied Algebra
2007 | Journal article
DOI: 10.1016/j.jpaa.2007.04.001
EID:

2-s2.0-34447628050
Contributors: Barto, L.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 2)‎

Every group is representable by all natural transformations of some set-functor

Theory and Applications of Categories
2005 | Journal article
EID:

2-s2.0-27844575711
Contributors: Barto, L.; Zima, P.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 3)‎

Weakly terminal objects in quasicategories of doubles struck S sign doubles struck e sign doubles struck T sign endofunctors

Applied Categorical Structures
2005 | Journal article
DOI: 10.1007/s10485-005-5796-6
EID:

2-s2.0-23744491207
Contributors: Barto, L.
Source: Self-asserted source
Libor Barto via Scopus - Elsevier
grade
Preferred source (of 2)‎
How many people are using ORCID?