Classifying Bacterial Genomes with Compact Logic Formulas on k-Mer Frequencies | IEEE Conference Publication | IEEE Xplore