Ravi Gummadi Vis

List of publications from the DBLP Bibliography Server - FAQ

* 2004

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

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

*	2004
2	EE	Ravi Gummadi, N. S. Narayanaswamy, Venkatakrishnan Ramaswamy: Algorithms for Satisfiability using Independent Sets of Variables. SAT 2004
1	EE	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]