В связи с техническими работами в центре обработки данных, возможность загрузки и скачивания файлов временно недоступна.
 

Некоторые особенности задачи синтеза булевых формул в полных базисах с прямыми и итеративными переменнымидоклад на конференции