Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами
- Title
- SAT-решателей для построения булевых функций с заданными криптографическими свойствами
- Version
- 1.x
- Pages
- 4
- Size
- 2 MB
- Producer
- ABBYY FineReader 14
Open in Browser
|
View Pdf in Internal Viewer
|
Download
2 MB