RUS
ENG
Full version
PEOPLE
Nedel'ko Svetlana Valer'evna
Publications in Math-Net.Ru
An Adaptive Search Method for a Logical Solving Function
Sib. Zh. Ind. Mat.
,
12
:3 (2009),
66–74
©
Steklov Math. Inst. of RAS
, 2026
