no image available Dickens & Co. "Cracking the Code: Harnessing the Power of Simultaneous SAT Solving for Efficient Cryptanalysis" "Unleashing the Potential of Constrained-Based Solving for Smarter Cryptanalysis" Price: 28.00€