Arathi Ramani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2002–2005
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | ASPDAC | Dynamic symmetry-breaking for improved Boolean optimization. | Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah |
| 2004 | ASPDAC | ShatterPB: symmetry-breaking for pseudo-Boolean formulas. | Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah |
| 2004 | DATE | Breaking Instance-Independent Symmetries in Exact Graph Coloring. | Arathi Ramani, Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah |
| 2003 | IJCAI | Combining Two Local Search Approaches to Hypergraph Partitioning. | Arathi Ramani, Igor L. Markov |
| 2002 | DAC | Solving difficult SAT instances in the presence of symmetry. | Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah |
| 2002 | ICCAD | Generic ILP versus specialized 0-1 ILP: an update. | Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah |