Search alternatives:
smash » slash
sweath » sheath, sweat, sweats
swat » sweat, swan, seat
sat » salt, satz
spath » spat, xpath, spate
-plate » -plates, -place

1
Published 2021
Springer International Publishing
Table of Contents: ...Exploring the Limitsof Problem-Specific Adaptations of SAT Solvers in SAT-based Cryptanalysis...

2
Published 2022
Springer International Publishing
Table of Contents: ...Measuring the Effectiveness of SAT-based Guess-and-Determine Attacks in Algebraic Cryptanalysis...

3
Published 2023
Springer Nature Switzerland
Table of Contents: ... for Massive Parallel Systems -- Using Parallel SAT Solving to Study Hard Combinatorial Problems Associated...