Optimal compilation for exposed datapath architectures with buffered processing units by SAT solvers | IEEE Conference Publication | IEEE Xplore