Properties of the satisfiability threshold of the strictly d-regular random (3,2s)-SAT problem
Wang, Yongping, Xu, DaoyunVolume:
14
Journal:
Frontiers of Computer Science
DOI:
10.1007/s11704-020-9248-0
Date:
December, 2020
File:
PDF, 350 KB
2020