3 ms·Cryptographic problems are reduced to their true hardness by SAT solver2 points by aburan28 12y ago