Bulatov, Andrei

2 publications

AAAI 2021 Algebra of Modular Systems: Containment and Equivalence Andrei Bulatov, Eugenia Ternovska

AAAI 2021 Satisfiability and Algorithms for Non-Uniform Random K-SAT Oleksii Omelchenko, Andrei Bulatov