https://github.com/freqhorn/freqhorn
https://github.com/grigoryfedyukovich/aeval/tree/rnd
https://doi.org/10.1007/978-3-030-25540-4_14
https://doi.org/10.23919/FMCAD.2018.8603011
View/edit source (Markdown)