![]() | ![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 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