Synthesis of neural networks with linear programs | IEEE Conference Publication | IEEE Xplore