derrickstolee/DistanceGraphs
Searching for maximum independent sets in distance graphs and circulant graphs.
Developer Profile
derrickstolee
Discovered public repositories for derrickstolee in the GitHub catalog.
derrickstolee/ChainCounting
Counting chains in width-two posets with few split pairs
derrickstolee/Progressions
Searching for quasi- and pseudo-arithmetic progressions
derrickstolee/Saturation
Finding uniquely K_r-saturated graphs using custom augmentations.
derrickstolee/EarSearch
Search over 2-connected graphs using ear augmentations
derrickstolee/TreeSearch
A C++ library for job management in a distributed search in the Condor scheduler.