@misc{indiciae39a7fdd3ca84,
  title = {Classification of Non-redundancy of Boolean Predicates of Arity 4},
  author = {Joshua Brakensiek and Venkatesan Guruswami and Aaron Putterman},
  year = {2026},
  url = {https://arxiv.org/abs/2603.21353},
  note = {Source identifier: 2603.21353}
}