Concepedia

Arathi Ramani

AR

Statistics

Publications

9

Citations

499

H-Index

9

Active since

2002

Affiliations

University of Michigan(Current)

American University of Sharjah

Arathi Ramani is an author at University of Michigan specializing in boolean satisfiability problem, algorithms, and boolean satisfiability.

Publications per year

2002–2008

9

Publications

9

Generic ILP versus specialized 0-1 ILP

Fadi Aloul, Arathi Ramani, Igor L. Markov et al. · Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design · 2002 · 158 citations

Computing, Computer Engineering, Computer Science +15

Solving difficult SAT instances in the presence of symmetry

Fadi Aloul, Arathi Ramani, Igor L. Markov et al. · Proceedings - ACM IEEE Design Automation Conference · 2002 · 117 citations

Computing, Computer Science, Algorithms +13

Solving difficult instances of boolean satisfiability in the presence of symmetry

Fadi Aloul, Arathi Ramani, Igor L. Markov et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2003 · 97 citations

Computing, Computer Science, Algorithms +13

Breaking Instance-Independent Symmetries In Exact Graph Coloring

Arathi Ramani, Igor L. Markov, Karem A. Sakallah et al. · Journal of Artificial Intelligence Research · 2006 · 38 citations · Full text

Computing, Computer Science, Algorithms +15

Solving difficult SAT instances in the presence of symmetry

Fadi Aloul, Arathi Ramani, Igor L. Markov et al. · Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324) · 2002 · 30 citations

Computing, Computer Science, Algorithms +13

1–5 of 9