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

Oleksii Omelchenko, Andrei A. Bulatov. Satisfiability threshold for power law random 2-SAT in configuration model. Theoretical Computer Science, 888:70-94, 2021. [doi]

Authors

Oleksii Omelchenko

This author has not been identified. Look up 'Oleksii Omelchenko' in Google

Andrei A. Bulatov

This author has not been identified. Look up 'Andrei A. Bulatov' in Google