derrickstolee/DistanceGraphs
Searching for maximum independent sets in distance graphs and circulant graphs.
Counting chains in width-two posets with few split pairs
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Searching for maximum independent sets in distance graphs and circulant graphs.
Searching for quasi- and pseudo-arithmetic progressions
Finding uniquely K_r-saturated graphs using custom augmentations.
Search over 2-connected graphs using ear augmentations