Integers sorting method for boolean functions minimization
Vadym Minzyuk · International Conference on Modern Problems of Radio Engineering, Telecommunications and Computer Science · 2012
In this paper modification of the most significant digit binary-radix sort has been considered. The method is supplemented by procedure of cardinality counting for subsets, wich are derived on steps of sorting. This procedure helps to detect such sets wich can be represented by conjuncterms with absorbed low-order bits.