SAT-Based Cryptanalysis: From Parallel Computing to Volunteer Computing.
Oleg ZaikinPublished in: RuSCDays (2019)
Keyphrases
- parallel computing
- massively parallel
- computer architecture
- computing systems
- parallel programming
- parallel computation
- parallel execution
- shared memory
- high performance computing
- processing units
- multithreading
- parallel architectures
- commodity hardware
- parallel computers
- parallel machines
- artificial intelligence
- sat solvers
- distributed systems
- general purpose
- multi agent systems
- computer vision