TY  - RPRT
TI  - Fully Automatic, Verified Classification of all Frankl-Complete (FC(6)) Set Families
AU  - Filip Marić
AU  - Bojan Vučković
AU  - Miodrag Živković
PY  - 2019
UR  - https://arxiv.org/abs/1902.08765
ID  - 1902.08765
ER  -