Author Details

Уваров, С. И.

Issue Section Title File
Vol 518, No 1 (2024) MATHEMATICS Sufficient condition for polynomial solvability of random 3-CNF formulas