Exact Algorithms for MaxCut on Split Graphs | Synapse