Для цитирования: Шилов Н.В. Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ. Моделирование и анализ информационных систем. 2011;18(4):168-180. https://doi.org/10.18255/1818-1015-2011-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.) https://doi.org/10.18255/1818-1015-2011-4-168-180