RUS
ENG
Full version
PEOPLE
Vorob'ev F Yu
Publications in Math-Net.Ru
A lower bound for the 4-satisfiability threshold
Diskr. Mat.
,
19
:2 (2007),
101–108
©
Steklov Math. Inst. of RAS
, 2024
