Повышение эффективности методов типа ветвей и границ для дискретных задач с булевыми переменными

Для решения комбинаторных задач с булевыми переменными предлагаются алгоритмы, являющиеся модификациями методов типа ветвей и границ. Доказывается более высокая эффективность предлагаемых процедур по сравнению с «классическими». Описывается эксперимент по проверке сравнительной эффективности процедур применительно к задаче о ранце.