|
Search the dblp DataBase
Arathi Ramani:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
ShatterPB: symmetry-breaking for pseudo-Boolean formulas. [Citation Graph (0, 0)][DBLP] ASP-DAC, 2004, pp:883-886 [Conf]
- Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
Dynamic symmetry-breaking for improved Boolean optimization. [Citation Graph (0, 0)][DBLP] ASP-DAC, 2005, pp:445-450 [Conf]
- Arathi Ramani, Igor L. Markov
Automatically Exploiting Symmetries in Constraint Programming. [Citation Graph (0, 0)][DBLP] CSCLP, 2004, pp:98-112 [Conf]
- Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
Solving difficult SAT instances in the presence of symmetry. [Citation Graph (0, 0)][DBLP] DAC, 2002, pp:731-736 [Conf]
- Arathi Ramani, Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
Breaking Instance-Independent Symmetries in Exact Graph Coloring. [Citation Graph (0, 0)][DBLP] DATE, 2004, pp:324-331 [Conf]
- Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
Generic ILP versus specialized 0-1 ILP: an update. [Citation Graph (0, 0)][DBLP] ICCAD, 2002, pp:450-457 [Conf]
- Arathi Ramani, Igor L. Markov
Combining Two Local Search Approaches to Hypergraph Partitioning. [Citation Graph (0, 0)][DBLP] IJCAI, 2003, pp:1546-0 [Conf]
- Arathi Ramani, Salim Vhora, S. Sanyal
The next generation Internet protocol. [Citation Graph (0, 0)][DBLP] Informatica (Slovenia), 2002, v:26, n:1, pp:- [Journal]
- Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
Solving difficult instances of Boolean satisfiability in the presence of symmetry. [Citation Graph (0, 0)][DBLP] IEEE Trans. on CAD of Integrated Circuits and Systems, 2003, v:22, n:9, pp:1117-1137 [Journal]
- Arathi Ramani, Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul
Breaking Instance-Independent Symmetries In Exact Graph Coloring. [Citation Graph (0, 0)][DBLP] J. Artif. Intell. Res. (JAIR), 2006, v:26, n:, pp:289-322 [Journal]
- Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
Symmetry breaking for pseudo-Boolean formulas. [Citation Graph (0, 0)][DBLP] ACM Journal of Experimental Algorithms, 2007, v:12, n:, pp:- [Journal]
- Fadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov
Solution and Optimization of Systems of Pseudo-Boolean Constraints. [Citation Graph (0, 0)][DBLP] IEEE Trans. Computers, 2007, v:56, n:10, pp:1415-1424 [Journal]
Dynamic symmetry-breaking for Boolean satisfiability. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|