TY  - RPRT
TI  - Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
AU  - Zhengyang Liu
AU  - Stefan Mada
AU  - John Regehr
PY  - 2024
UR  - https://arxiv.org/abs/2306.00229
ID  - 2306.00229
ER  -