Arathi Ramani

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