Arathi Ramani

Publication Activity (10 Years)

Years Active: 2002-2011
Publications (10 Years): 0

Publications

Fadi A. Aloul, Igor L. Markov, Arathi Ramani, Karem A. Sakallah
Breaking Instance-Independent Symmetries In Exact Graph Coloring CoRR (2011)
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
Dynamic symmetry-breaking for Boolean satisfiability. Ann. Math. Artif. Intell. 57 (1) (2009)
Fadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov
Solution and Optimization of Systems of Pseudo-Boolean Constraints. IEEE Trans. Computers 56 (10) (2007)
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
Symmetry breaking for pseudo-Boolean formulas. ACM J. Exp. Algorithmics 12 (2007)
Arathi Ramani, Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul
Breaking Instance-Independent Symmetries In Exact Graph Coloring. J. Artif. Intell. Res. 26 (2006)
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
Dynamic symmetry-breaking for improved Boolean optimization. ASP-DAC (2005)
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
ShatterPB: symmetry-breaking for pseudo-Boolean formulas. ASP-DAC (2004)
Arathi Ramani, Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
Breaking Instance-Independent Symmetries in Exact Graph Coloring. DATE (2004)
Arathi Ramani, Igor L. Markov
Automatically Exploiting Symmetries in Constraint Programming. CSCLP (2004)
Arathi Ramani, Igor L. Markov
Combining Two Local Search Approaches to Hypergraph Partitioning. IJCAI (2003)
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
Solving difficult instances of Boolean satisfiability in the presence of symmetry. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22 (9) (2003)
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
Generic ILP versus specialized 0-1 ILP: an update. ICCAD (2002)
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
Solving difficult SAT instances in the presence of symmetry. DAC (2002)
Arathi Ramani, Salim Vhora, Sugata Sanyal
The next generation Internet protocol. Informatica (Slovenia) 26 (1) (2002)