Omelchenko, Oleksii

2 publications

AAAI 2022 Analysis of Pure Literal Elimination Rule for Non-Uniform Random (MAX) K-SAT Problem with an Arbitrary Degree Distribution Oleksii Omelchenko, Andrei A. Bulatov

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