Для цитирования: Шилов Н.В. Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ. Моделирование и анализ информационных систем. 2011;18(4):168-180.

For citation: Shilov N.V. Verification of Backtracking and Branch and Bound Design Templates. Modeling and Analysis of Information Systems. 2011;18(4):168-180. (In Russ.)