Cutting planes for families implying Frankl’s conjecture (Q5207443): Difference between revisions

@@ Property / Wikidata QID @@
+Q123333792
@@ Property / Wikidata QID: Q123333792 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SCIP
@@ Property / describes a project that uses: SCIP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VIPR
@@ Property / describes a project that uses: VIPR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Gurobi
@@ Property / describes a project that uses: Gurobi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CPLEX
@@ Property / describes a project that uses: CPLEX / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2785044350
@@ Property / OpenAlex ID: W2785044350 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05947
@@ Property / arXiv ID: 1702.05947 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs from THE BOOK
@@ Property / cites work: Proofs from THE BOOK / rank @@
+Normal rank
@@ Property / cites work @@
+The 11-element case of Frankl's conjecture
@@ Property / cites work: The 11-element case of Frankl's conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+The graph formulation of the union-closed sets conjecture
+Normal rank
@@ Property / cites work @@
+The journey of the union-closed sets conjecture
@@ Property / cites work: The journey of the union-closed sets conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying integer programming results
@@ Property / cites work: Verifying integer programming results / rank @@
+Normal rank
@@ Property / cites work @@
+A hybrid branch-and-bound approach for exact rational mixed-integer programming
+Normal rank
@@ Property / cites work @@
+Q2713624
@@ Property / cites work: Q2713624 / rank @@
+Normal rank
@@ Property / cites work @@
+On union-closed families. I
@@ Property / cites work: On union-closed families. I / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing Frankl’s Conjecture: FC-Families
@@ Property / cites work: Formalizing Frankl’s Conjecture: FC-Families / rank @@
+Normal rank
@@ Property / cites work @@
+An attempt at frankl’s conjecture
@@ Property / cites work: An attempt at frankl’s conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+FC-families and improved bounds for Frankl's conjecture
+Normal rank
@@ Property / cites work @@
+Union-closed families
@@ Property / cites work: Union-closed families / rank @@
+Normal rank
@@ Property / cites work @@
+New conjectures for union-closed families
@@ Property / cites work: New conjectures for union-closed families / rank @@
+Normal rank
@@ Property / cites work @@
+Families implying the Frankl conjecture
@@ Property / cites work: Families implying the Frankl conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Q4460556
@@ Property / cites work: Q4460556 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4826273
@@ Property / cites work: Q4826273 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5207443