Электронная библиотека (репозиторий) Томского государственного университета

Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами

Image Thumbnail Open in Browser | View Pdf in Internal Viewer | Download 2 MB
^