https://hgpu.org/?p=2892
GPU Acceleration of Near-Minimal Logic Minimization