Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Arathi Ramani
2010 – today
- 2011
[i1]Fadi A. Aloul, Igor L. Markov, Arathi Ramani, Karem A. Sakallah: Breaking Instance-Independent Symmetries In Exact Graph Coloring. CoRR abs/1109.2347 (2011)
2000 – 2009
- 2009
- [j6]Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: Dynamic symmetry-breaking for Boolean satisfiability. Ann. Math. Artif. Intell. 57(1): 59-73 (2009)
- 2007
- [j5]Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: Symmetry breaking for pseudo-Boolean formulas. ACM Journal of Experimental Algorithmics 12 (2007)
- [j4]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): 1415-1424 (2007)
- 2006
- [j3]Arathi Ramani, Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul: Breaking Instance-Independent Symmetries In Exact Graph Coloring. J. Artif. Intell. Res. (JAIR) 26: 289-322 (2006)
- 2005
- [c7]Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: Dynamic symmetry-breaking for improved Boolean optimization. ASP-DAC 2005: 445-450
- 2004
- [c6]Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: ShatterPB: symmetry-breaking for pseudo-Boolean formulas. ASP-DAC 2004: 883-886
- [c5]Arathi Ramani, Igor L. Markov: Automatically Exploiting Symmetries in Constraint Programming. CSCLP 2004: 98-112
- [c4]Arathi Ramani, Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah: Breaking Instance-Independent Symmetries in Exact Graph Coloring. DATE 2004: 324-331
- 2003
- [j2]Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: Solving difficult instances of Boolean satisfiability in the presence of symmetry. IEEE Trans. on CAD of Integrated Circuits and Systems 22(9): 1117-1137 (2003)
- [c3]Arathi Ramani, Igor L. Markov: Combining Two Local Search Approaches to Hypergraph Partitioning. IJCAI 2003: 1546-
- 2002
- [j1]Arathi Ramani, Salim Vhora, S. Sanyal: The next generation Internet protocol. Informatica (Slovenia) 26(1) (2002)
- [c2]Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: Solving difficult SAT instances in the presence of symmetry. DAC 2002: 731-736
- [c1]Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah: Generic ILP versus specialized 0-1 ILP: an update. ICCAD 2002: 450-457
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:48 CET by the dblp team