derrickstolee/DistanceGraphs
Searching for maximum independent sets in distance graphs and circulant graphs.
A C++ library for job management in a distributed search in the Condor scheduler.
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.
Counting chains in width-two posets with few split pairs
Searching for quasi- and pseudo-arithmetic progressions
Finding uniquely K_r-saturated graphs using custom augmentations.