Xing Li, Lei Chen, Fan Yang, Mingxuan Yuan, Hongli Yan, Yupeng Wan: HIMap: a heuristic and iterative logic synthesis approach. DAC 2022: 415-420