Algorithms for Satisfiability using Independent Sets of Variables. - Ravi Gummadi; N. S. Narayanaswamy; Venkatakrishnan Ramaswamy (SAT, 2004)

SMARTINT: A system for answering queries over web databases using attribute dependencies. - Ravi Gummadi; Anupam Khulbe; Aravind Kalavagattu; Sanil Salvi; Subbarao Kambhampati (ICDE, 2010)

SMARTINT: using mined attribute dependencies to integrate fragmented web databases. - Ravi Gummadi; Anupam Khulbe; Aravind Kalavagattu; Sanil Salvi; Subbarao Kambhampati (J. Intell. Inf. Syst., 2012)