Efficient k -Clique Densest Subgraph Discovery: Towards Bridging Practice and Theory | Synapse