@misc{cryptoeprint:2016:198,
    author = {Ko Stoffelen},
    title = {Optimizing S-box Implementations for Several Criteria using SAT Solvers},
    howpublished = {Cryptology ePrint Archive, Report 2016/198},
    year = {2016},
    url = {https://eprint.iacr.org/2016/198},
}