Efficient SAT-Based Mapping and Scheduling of Homogeneous Synchronous Dataflow Graphs for Throughput OptimizationWeichen Liu, Xue Liu, Mingxuan Yuan et al.|Unknown|2008Cited by 46