DOI,IST REx ID,Title of publication
10.1007/978-3-031-22337-2_14,20062,Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification