Master's thesis - Automatically Finding Non-constant Lower Bounds for Locally Checkable Labeling Problems in the LOCAL Model