Stav dette: Автоматизация решения логико-комбинаторных задач: сборник научных трудов