Agile SMT-Based Mapping for CGRAs with Restricted Routing Networks | IEEE Conference Publication | IEEE Xplore