Oleksii Omelchenko

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 5

Top Topics

Degree Distribution

Stochastic Local Search

Simulated Annealing

Top Venues

Theor. Comput. Sci.

Publications

Oleksii Omelchenko, Andrei A. Bulatov
Analysis of Pure Literal Elimination Rule for Non-uniform Random (MAX) k-SAT Problem with an Arbitrary Degree Distribution. AAAI (2022)
Oleksii Omelchenko, Andrei Bulatov
Satisfiability and Algorithms for Non-uniform Random k-SAT. AAAI (2021)
Oleksii Omelchenko, Andrei A. Bulatov
Satisfiability threshold for power law random 2-SAT in configuration model. Theor. Comput. Sci. 888 (2021)
Oleksii Omelchenko, Andrei A. Bulatov
Satisfiability Threshold for Power Law Random 2-SAT in Configuration Model. CoRR (2019)
Oleksii Omelchenko, Andrei A. Bulatov
Satisfiability Threshold for Power Law Random 2-SAT in Configuration Model. SAT (2019)