2021 ICCAD CAD Contest Problem C: GPU Accelerated Logic Rewriting | IEEE Conference Publication | IEEE Xplore