5 citations · 15 across the 16 of their papers we have counts for
3 papers · 1 filter
Advances in Symmetry Breaking for SAT Modulo Theories
Saket Dingliwal, Ronak Agarwal, Happy Mittal +1
Symmetry breaking is a popular technique to reduce the search space for SAT solving by exploiting the underlying symmetry over variables and clauses in a formula. The key idea is t…
Literature Survey on Finding Influential Communities in Large Scale Networks
Prakhar Ganesh, Saket Dingliwal, Rahul Agarwal
Community or modular structure is considered to be a significant property of large scale real-world graphs such as social or information networks. Detecting influential clusters or…
Restructuring Conversations using Discourse Relations for Zero-shot Abstractive Dialogue Summarization
Prakhar Ganesh, Saket Dingliwal
Dialogue summarization is a challenging problem due to the informal and unstructured nature of conversational data. Recent advances in abstractive summarization have been focused o…