Yukio Miyasaka, Masahiro Fujita. SAT-Based Data-Flow Mapping Onto Array Processor. In 28th IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SOC 2020, Salt Lake City, UT, USA, October 5-7, 2020. pages 22-27, IEEE, 2020. [doi]
Abstract is missing.