_id,doi,title
310,10.1137/1.9781611975031.151,"Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter"