TY  - JOUR
AU  - G. S. Lbov
AU  - V. M. Nedel'ko
AU  - S. V. Nedel'ko
TI  - An~Adaptive Search Method for a~Logical Solving Function
JO  - Sibirskij žurnal industrialʹnoj matematiki
PY  - 2009
SP  - 66
EP  - 74
VL  - 12
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SJIM_2009_12_3_a6/
LA  - ru
ID  - SJIM_2009_12_3_a6
ER  -