Libor Barto - RankMe

62 papers A* 15A 3B 3Journal 39

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