Для цитирования:

Шилов Н.В. Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ. Моделирование и анализ информационных систем. 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.)