Pruning a classifier based on a self-organizing map using Boolean function formalization | IEEE Conference Publication | IEEE Xplore