@misc{indiciae4fa3c91646c4,
  title = {A SAT-based Filtering Framework for Exact Coverings of K33 by Cliques of Order 3, 4 or 5},
  author = {Petr Kovař and Yifan Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2603.29548},
  note = {Source identifier: 2603.29548}
}