Oleksii Omelchenko

According to our database, Oleksii Omelchenko authored at least 3 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Satisfiability threshold for power law random 2-SAT in configuration model.

Oleksii Omelchenko, Andrei A. Bulatov

Theor. Comput. Sci., 2021

Satisfiability and Algorithms for Non-uniform Random k-SAT.

Oleksii Omelchenko, Andrei Bulatov

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021