Satisfiability and Algorithms for Non-uniform Random k-SAT. - Oleksii Omelchenko; Andrei Bulatov 001 (AAAI, 2021)

Satisfiability threshold for power law random 2-SAT in configuration model. - Oleksii Omelchenko; Andrei A. Bulatov (Theor. Comput. Sci., 2021)

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, 2022)

Determining of Predictors for Diagnostic Conclusion for Patients with Post-Traumatic Stress Disorder Using Class-Oriented Features Selection Technology and Group Method of Data Handling. - Eldar Aliiev; Oleksii Omelchenko; Boris Tarasiuk; Oleksandr Zakomornyi; Oleksandr Matviichuk; Vladimir Pavlov (CSIT, 2024)