About Strong Dependence of the Complexity of Analysis of the Random 3-CNF Formulas on the Ratio of Number of Clauses to the Number of Variables

Sergey I. Uvarov. About Strong Dependence of the Complexity of Analysis of the Random 3-CNF Formulas on the Ratio of Number of Clauses to the Number of Variables. In Antonio J. Tallón-Ballesteros, editor, Modern Management based on Big Data II and Machine Learning and Intelligent Systems III - Proceedings of MMBD 2021 and MLIS 2021, Virtual Event, China, 8-11 November 2021. Volume 341 of Frontiers in Artificial Intelligence and Applications, pages 496-501, IOS Press, 2021. [doi]

Abstract

Abstract is missing.