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

Быстрый алгоритм проверки эквивалентности программ с коммутативными и подавляемыми операторамидоклад на конференции