Zaslat SMS: Boolean matrix theory and applications