TY  - RPRT
TI  - A SAT-based Filtering Framework for Exact Coverings of K33 by Cliques of Order 3, 4 or 5
AU  - Petr Kovař
AU  - Yifan Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2603.29548
ID  - 2603.29548
ER  -