@dblp

NeuroGIFT: Using a Machine Learning Based Sat Solver for Cryptanalysis.

, , , and . CSCML, volume 12161 of Lecture Notes in Computer Science, page 62-84. Springer, (2020)

Links and resources

Tags