Optimization-based computation with spiking neurons | IEEE Conference Publication | IEEE Xplore