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. In Mikolás Janota, Inês Lynce, editors, Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings. Volume 11628 of Lecture Notes in Computer Science, pages 53-70, Springer, 2019. [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