@misc{cryptoeprint:2021:452,
    author = {Zezhou Hou and Jiongjiong Ren and Shaozhen Chen},
    title = {SAT-based Method to Improve Neural Distinguisher and Applications to SIMON},
    howpublished = {Cryptology ePrint Archive, Report 2021/452},
    year = {2021},
    url = {https://eprint.iacr.org/2021/452},
}