Arathi Ramani

According to our database, Arathi Ramani authored at least 13 papers between 2002 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Dynamic symmetry-breaking for Boolean satisfiability.

Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah

Ann. Math. Artif. Intell., 2009

2007

Solution and Optimization of Systems of Pseudo-Boolean Constraints.

Fadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov

IEEE Trans. Computers, 2007

Symmetry breaking for pseudo-Boolean formulas.

Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah

ACM J. Exp. Algorithmics, 2007

2006

Breaking Instance-Independent Symmetries In Exact Graph Coloring.

Arathi Ramani, Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul

J. Artif. Intell. Res., 2006

2005

Exploiting symmetry in linear and non-linear 0-1 problems.

Arathi Ramani

PhD thesis, 2005

Dynamic symmetry-breaking for improved Boolean optimization.

Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

2004

Automatically Exploiting Symmetries in Constraint Programming.

Arathi Ramani, Igor L. Markov

Proceedings of the Recent Advances in Constraints, 2004

ShatterPB: symmetry-breaking for pseudo-Boolean formulas.

Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah

Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004

2003

Solving difficult instances of Boolean satisfiability in the presence of symmetry.

Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003

Combining Two Local Search Approaches to Hypergraph Partitioning.

Arathi Ramani, Igor L. Markov

Proceedings of the IJCAI-03, 2003

2002

The next generation Internet protocol.

Arathi Ramani, Salim Vhora, Sugata Sanyal

Informatica (Slovenia), 2002

Generic ILP versus specialized 0-1 ILP: an update.

Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah

Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002

Solving difficult SAT instances in the presence of symmetry.

Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah

Proceedings of the 39th Design Automation Conference, 2002