Logical and linear dependencies extraction from trained neural networks | IEEE Conference Publication | IEEE Xplore