Mapping Spiking Neural Networks to Heterogeneous Crossbar Architectures using Integer Linear Programming | IEEE Conference Publication | IEEE Xplore