Scalable maximum independent set computation for conflict graphs using kernelization and greedy inference | Synapse