Learning Plaintext-Ciphertext Cryptographic Problems via ANF-based SAT Instance Representation | Read Paper on Bytez