Применение моделей дискретной оптимизации для разработки автоматизированной системы контроля знаний