Ravi Gummadi

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2004

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

	2004
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

Coauthor Index

1	N. S. Narayanaswamy	[1] [2]
2	Venkatakrishnan Ramaswamy	[1] [2]