Ravi Gummadi (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Ravi Gummadi, N. S. Narayanaswamy, Venkatakrishnan Ramaswamy: Algorithms for Satisfiability using Independent Sets of Variables. SAT 2004

1 Ravi Gummadi, N. S. Narayanaswamy, Venkatakrishnan Ramaswamy: Algorithms for Satisfiability Using Independent Sets of Variables. SAT (Selected Papers 2004: 133-144

Selection of 2 from 5 records - Ravi Gummadi has 6 coauthors

Last update 2012-02-17 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

2		Ravi Gummadi, N. S. Narayanaswamy, Venkatakrishnan Ramaswamy: Algorithms for Satisfiability using Independent Sets of Variables. SAT 2004
1		Ravi Gummadi, N. S. Narayanaswamy, Venkatakrishnan Ramaswamy: Algorithms for Satisfiability Using Independent Sets of Variables. SAT (Selected Papers 2004: 133-144