Electronic Documents Search

Documents found: 1

1

Автоматизация составления расписания в вузе с использованием SMT-решателей и генетического алгоритма // Системный анализ в проектировании и управлении: сборник научных трудов XXVIII Международной научно-практической конференции, 27–29 июня 2024 года: [в 2 частях]. Ч. 1 New arrival!

Creators	Жабко Георгий Петрович; Сиднев Александр Георгиевич; Хомяков Виктор Сергеевич
Organization	Санкт-Петербургский политехнический университет Петра Великого
Imprint	Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2024
Electronic publication	2025
Collection	Общая коллекция
Subjects	Математическое моделирование; теория расписаний; задача составления расписания вуза; автоматизация составления расписания; генетический алгоритм; SMT-решатель; scheduling theory; university course scheduling problem; scheduling automatization; genetic algorithm; SMT solver
UDC	519.876.5
LBC	74.484
Document type	Article, report
File type	PDF
Language	Russian
DOI	10.18720/SPBPU/2/id24-486
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 0.5 Mb

1