Genetic algorithm in the problem of obtaining minimal Boolean functions representations in the class of Kronecker forms | IEEE Conference Publication | IEEE Xplore