@inproceedings{Szeider26e,
 author = {Stefan Szeider},
 booktitle = {Proceedings of the 43rd International Conference on Machine
Learning, {ICML} 2026, July 6–11, 2026, Seoul, South Korea},
 keywords = {coe, strides},
 note = {To appear},
 title = {{MaxSAT}-Based Compression for {Tsetlin} Machines},
 year = {2026}
}