Travelled to:2 × Canada
Collaborated with:R.Gummadi N.S.Narayanaswamy
Talks about:algorithm (2) independ (2) variabl (2) satisfi (2) use (2) set (2)
Person: Venkatakrishnan Ramaswamy
DBLP: Ramaswamy:Venkatakrishnan
Contributed to:
20042005Wrote 2 papers:
- SAT-2004-GummadiNV #algorithm #independence #satisfiability #set #using
- Algorithms for Satisfiability using Independent Sets of Variables (RG, NSN, VR), pp. 56–63.
- SAT-J-2004-GummadiNV05 #algorithm #independence #satisfiability #set #using
- Algorithms for Satisfiability Using Independent Sets of Variables (RG, NSN, VR), pp. 133–144.