2 papers
cs.LO2019
Fully Automatic, Verified Classification of all Frankl-Complete (FC(6)) Set Families
Filip Marić, Bojan Vučković, Miodrag Živković
The Frankl's conjecture, formulated in 1979. and still open, states that in every family of sets closed for unions there is an element contained in at least half of the sets. A fam…
cs.DM2012
Formalizing Frankl's Conjecture: FC-families
Filip Marić, Miodrag Živković, Bojan Vučković
The Frankl's conjecture, formulated in 1979. and still open, states that in every family of sets closed for unions there is an element contained in at least half of the sets. FC-fa…