Libor Barto

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 43

Top Topics

Tractable Subclasses

Constraint Satisfaction

Forward Checking

Top Venues

Publications

Libor Barto, Silvia Butti, Víctor Dalmau
The Sherali-Adams and Weisfeiler-Leman hierarchies in (Promise Valued) Constraint Satisfaction Problems. CoRR (2024)
Libor Barto, Silvia Butti, Alexandr Kazda, Caterina Viola, Stanislav Zivný
Algebraic Approach to Approximation. CoRR (2024)
Libor Barto, Silvia Butti, Alexandr Kazda, Caterina Viola, Stanislav Zivný
Algebraic Approach to Approximation. LICS (2024)
Kristina Asimi, Libor Barto, Victor Dalmau
The Complexity of Promise Constraint Satisfaction Problem Seen from the Other Side. CoRR (2024)
Libor Barto, Bertalan Bodor, Marcin Kozik, Antoine Mottet, Michael Pinsker
Symmetries of structures that fail to interpret something finite. CoRR (2023)
Libor Barto, Bertalan Bodor, Marcin Kozik, Antoine Mottet, Michael Pinsker
Symmetries of Graphs and Structures that Fail to Interpret a Finite Thing. LICS (2023)
Kristina Asimi, Libor Barto, Silvia Butti
Fixed-Template Promise Model Checking Problems. CoRR (2022)
Libor Barto, Marcin Kozik
Combinatorial Gap Theorem and Reductions between Promise CSPs. SODA (2022)
Kristina Asimi, Libor Barto, Silvia Butti
Fixed-Template Promise Model Checking Problems. CP (2022)
Libor Barto, Silvia Butti
Weisfeiler-Leman Invariant Promise Valued CSPs. CoRR (2022)
Libor Barto, Silvia Butti
Weisfeiler-Leman Invariant Promise Valued CSPs. CP (2022)
Kristina Asimi, Libor Barto
Finitely Tractable Promise Constraint Satisfaction Problems. MFCS (2021)
Libor Barto, Marcin Kozik
Combinatorial Gap Theorem and Reductions between Promise CSPs. CoRR (2021)
Libor Barto, Diego Battistelli, Kevin M. Berg
Symmetric Promise Constraint Satisfaction Problems: Beyond the Boolean Case. STACS (2021)
Libor Barto, Michael Kompatscher, Miroslav Olsák, Trung Van Pham, Michael Pinsker
Erratum: Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures. J. Math. Log. 21 (2) (2021)
Libor Barto, William J. DeMeo, Antoine Mottet
Constraint Satisfaction Problems over Finite Structures. LICS (2021)
Libor Barto, Zarathustra Brady, Andrei Bulatov, Marcin Kozik, Dmitriy Zhuk
Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP. LICS (2021)
Libor Barto, Jakub Bulín, Andrei A. Krokhin, Jakub Oprsal
Algebraic Approach to Promise Constraint Satisfaction. J. ACM 68 (4) (2021)
Libor Barto, Zarathustra Brady, Andrei Bulatov, Marcin Kozik, Dmitriy Zhuk
Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP. CoRR (2021)
Libor Barto, Michael Pinsker
Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems). SIAM J. Comput. 49 (2) (2020)
Libor Barto, William J. DeMeo, Antoine Mottet
The Complexity of the Homomorphism Problem for Boolean structures. CoRR (2020)
Kristina Asimi, Libor Barto
Finitely Tractable Promise Constraint Satisfaction Problems. CoRR (2020)
Libor Barto, Marcin Kozik, Johnson Tan, Matt Valeriote
Sensitive Instances of the Constraint Satisfaction Problem. ICALP (2020)
Libor Barto, Marcin Kozik, Johnson Tan, Matt Valeriote
Sensitive instances of the Constraint Satisfaction Problem. CoRR (2020)
Libor Barto, Diego Battistelli, Kevin M. Berg
Symmetric Promise Constraint Satisfaction Problems: Beyond the Boolean Case. CoRR (2020)
Libor Barto
Algebraic Theory of Promise Constraint Satisfaction Problems, First Steps. CoRR (2019)
Libor Barto
Algebraic Theory of Promise Constraint Satisfaction Problems, First Steps. FCT (2019)
Libor Barto
Promises Make Finite (Constraint Satisfaction) Problems Infinitary. LICS (2019)
Libor Barto, Michael Pinsker
Topology is irrelevant (in a dichotomy conjecture for infinite domain constraint satisfaction problems). CoRR (2019)
Libor Barto
Promises Make Finite (Constraint Satisfaction) Problems Infinitary. CoRR (2019)
Libor Barto, Michael Kompatscher, Miroslav Olsák, Van Trung Pham, Michael Pinsker
Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures. J. Math. Log. 19 (2) (2019)
Libor Barto, Michael Kompatscher, Miroslav Olsák, Trung Van Pham, Michael Pinsker
The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems. LICS (2017)
Libor Barto, Marcin Kozik
Robustly Solvable Constraint Satisfaction Problems. SIAM J. Comput. 45 (4) (2016)
Libor Barto, Michael Pinsker
The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems. CoRR (2016)
Libor Barto
Infinite Domain Constraint Satisfaction Problem. CSL (2016)
Libor Barto, Michael Kompatscher, Miroslav Olsák, Michael Pinsker, Van Trung Pham
Equations in oligomorphic clones and the Constraint Satisfaction Problem for $ω$-categorical structures. CoRR (2016)
Libor Barto
The collapse of the bounded width hierarchy. J. Log. Comput. 26 (3) (2016)
Libor Barto, Alexandr Kazda
Deciding absorption. Int. J. Algebra Comput. 26 (5) (2016)
Libor Barto, Michael Pinsker
The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems. LICS (2016)
Libor Barto, Alexandr Kazda
Deciding absorption. CoRR (2015)
Libor Barto
The Constraint Satisfaction Problem and Universal Algebra. Bull. Symb. Log. 21 (3) (2015)
Libor Barto, Marcin Kozik
Robustly Solvable Constraint Satisfaction Problems. CoRR (2015)
Libor Barto, Jakub Oprsal, Michael Pinsker
The wonderland of reflections. CoRR (2015)
Libor Barto, Marcin Kozik
Constraint Satisfaction Problems Solvable by Local Consistency Methods. J. ACM 61 (1) (2014)
Libor Barto
Constraint satisfaction problem and universal algebra. ACM SIGLOG News 1 (2) (2014)
Libor Barto, Jakub Bulin
Csp Dichotomy for Special Polyads. Int. J. Algebra Comput. 23 (5) (2013)
Libor Barto, Marcin Kozik
Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem Log. Methods Comput. Sci. 8 (1) (2012)
Libor Barto, Marcin Kozik
Robust satisfiability of constraint satisfaction problems. STOC (2012)
Libor Barto, Marcin Kozik, Ross Willard
Near Unanimity Constraints Have Bounded Pathwidth Duality. LICS (2012)
Libor Barto, Marcin Kozik
Robust Satisfiability of Constraint Satisfaction Problems. Electron. Colloquium Comput. Complex. 18 (2011)
Libor Barto
The Dichotomy for Conservative Constraint Satisfaction Problems Revisited. LICS (2011)
Libor Barto, Marcin Kozik
New Conditions for Taylor Varieties and CSP. LICS (2010)
Libor Barto, Marcin Kozik
Congruence Distributivity Implies Bounded Width. SIAM J. Comput. 39 (4) (2009)
Libor Barto, Marcin Kozik, Todd Niven
The CSP Dichotomy Holds for Digraphs with No Sources and No Sinks (A Positive Answer to a Conjecture of Bang-Jensen and Hell). SIAM J. Comput. 38 (5) (2009)
Libor Barto
Slices of Essentially Algebraic Categories. Appl. Categorical Struct. 17 (2) (2009)
Libor Barto, Marcin Kozik
Constraint Satisfaction Problems of Bounded Width. FOCS (2009)
Libor Barto, Marcin Kozik, Todd Niven
Graphs, polymorphisms and the complexity of homomorphism problems. STOC (2008)
Libor Barto
Weakly Terminal Objects in Quasicategories of SET Endofunctors. Appl. Categorical Struct. 13 (3) (2005)