@misc{cryptoeprint:2021:213,
    author = {Ling Sun and Wei Wang and Meiqin Wang},
    title = {Accelerating the Search of Differential and Linear Characteristics with the SAT Method},
    howpublished = {Cryptology ePrint Archive, Report 2021/213},
    year = {2021},
    url = {https://eprint.iacr.org/2021/213},
}