Oleksii Omelchenko

2 papers · 2021–2022 · 1 conference · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (14) 🏆 Keyword Champion (2)

Conferences

AAAI (2)

Top co-authors

Andrei A. Bulatov (1) Andrei Bulatov (1)

Keywords

satisfiability threshold (2) degree distribution (2) configuration model (2) random satisfiability (2) k-sat problem (1) satisfiability solving (1) max k-sat (1) constraint satisfaction (1) pure literal elimination (1) max-sat problem (1)

Papers

Analysis of Pure Literal Elimination Rule for Non-uniform Random (MAX) k-SAT Problem with an Arbitrary Degree Distribution AAAI 2022

Satisfiability and Algorithms for Non-uniform Random k-SAT AAAI 2021