Andrei Bulatov

19 papers A* 3Journal 16
YearRankTypeTitle / Venue / Authors
2025 J jnl
Complexity Column.
ACM SIGLOG News
Andrei Bulatov
2024 J jnl
Complexity Column.
ACM SIGLOG News
Andrei Bulatov
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 J jnl
Complexity Column.
ACM SIGLOG News
Andrei Bulatov
2022 J jnl
Complexity column.
ACM SIGLOG News
Andrei Bulatov
2021 A* conf
Algebra of Modular Systems: Containment and Equivalence.
AAAI
Andrei Bulatov, Eugenia Ternovska
2021 J jnl
Dismantlability, connectedness, and mixing in relational structures.
J. Comb. Theory B
Raimundo Briceño, Andrei Bulatov, Víctor Dalmau, Benoît Larose
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
Satisfiability and Algorithms for Non-uniform Random k-SAT.
AAAI
Oleksii Omelchenko, Andrei Bulatov
2020 J jnl
Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin.
J. Comput. Syst. Sci.
Miriam Backens, Andrei Bulatov, Leslie Ann Goldberg, Colin McQuillan, Stanislav Zivný
2019 J jnl
Long range actions, connectedness, and dismantlability in relational structures.
CoRR
Raimundo Briceño, Andrei Bulatov, Víctor Dalmau, Benoît Larose
2019 J jnl
The Subpower Membership Problem for Finite Algebras with Cube Terms.
Log. Methods Comput. Sci.
Andrei Bulatov, Peter Mayr, Ágnes Szendrei
2018 J jnl
Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin.
CoRR
Miriam Backens, Andrei Bulatov, Leslie Ann Goldberg, Colin McQuillan, Stanislav Zivný
2018 J jnl
The Subpower Membership Problem for Finite Algebras with Cube Terms.
CoRR
Andrei Bulatov, Peter Mayr, Ágnes Szendrei
2017 J jnl
Functional clones and expressibility of partition functions.
Theor. Comput. Sci.
Andrei Bulatov, Leslie Ann Goldberg, Mark Jerrum, David Richerby, Stanislav Zivný
2016 J jnl
Preface.
Theory Comput. Syst.
Andrei Bulatov, Stephan Kreutzer
2016 J jnl
The subpower membership problem for semigroups.
CoRR
Andrei Bulatov, Peter Mayr, Markus Steindl
2016 J jnl
The subpower membership problem for semigroups.
Int. J. Algebra Comput.
Andrei Bulatov, Marcin Kozik, Peter Mayr, Markus Steindl