-
1Report
Subject Terms: positively-constructed formula, automatic theorem proving, позитивно-образованная формула, heuristics, дискретно-событийная система, задача планирования рабочих смен, prover, work shift scheduling problem, эволюционные алгоритмы, прувер, discrete event system, evolutionary algorithms, эвристики, автоматическое доказательство теорем