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 UR - http://geodesic.mathdoc.fr/item/SJIM_2009_12_3_a6/ LA - ru ID - SJIM_2009_12_3_a6 ER -