Supervised learning of DPLL based winner-take-all neural network | IEEE Conference Publication | IEEE Xplore