Pages that link to "Item:Q2907327"
From MaRDI portal
The following pages link to Formalizing Frankl’s Conjecture: FC-Families (Q2907327):
Displaying 6 items.
- New conjectures for union-closed families (Q311524) (← links)
- The union-closed sets conjecture for small families (Q343764) (← links)
- The journey of the union-closed sets conjecture (Q897265) (← links)
- Verifying Faradžev-Read Type Isomorph-Free Exhaustive Generation (Q5049007) (← links)
- Cutting planes for families implying Frankl’s conjecture (Q5207443) (← links)
- On the union-closed sets conjecture (Q6041556) (← links)