The SCEAS System
| |||||||

## 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.003secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |