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 |
1 | N. S. Narayanaswamy | [1] [2] |
2 | Venkatakrishnan Ramaswamy | [1] [2] |