 | 2007 |
|---|
| 12 |       | Fadi A. Aloul,
Arathi Ramani,
Igor L. Markov,
Karem A. Sakallah:
Symmetry breaking for pseudo-Boolean formulas.
ACM Journal of Experimental Algorithmics 12: (2007) |
| 11 | | 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 |
|---|
| 10 | | 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 |
|---|
| 9 | | Fadi A. Aloul,
Arathi Ramani,
Igor L. Markov,
Karem A. Sakallah:
Dynamic symmetry-breaking for improved Boolean optimization.
ASP-DAC 2005: 445-450 |
| 2004 |
|---|
| 8 | | Fadi A. Aloul,
Arathi Ramani,
Igor L. Markov,
Karem A. Sakallah:
ShatterPB: symmetry-breaking for pseudo-Boolean formulas.
ASP-DAC 2004: 883-886 |
| 7 | | Arathi Ramani,
Igor L. Markov:
Automatically Exploiting Symmetries in Constraint Programming.
CSCLP 2004: 98-112 |
| 6 | | Arathi Ramani,
Fadi A. Aloul,
Igor L. Markov,
Karem A. Sakallah:
Breaking Instance-Independent Symmetries in Exact Graph Coloring.
DATE 2004: 324-331 |
| 2003 |
|---|
| 5 |  | Arathi Ramani,
Igor L. Markov:
Combining Two Local Search Approaches to Hypergraph Partitioning.
IJCAI 2003: 1546- |
| 4 | | 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) |
| 2002 |
|---|
| 3 | | Fadi A. Aloul,
Arathi Ramani,
Igor L. Markov,
Karem A. Sakallah:
Solving difficult SAT instances in the presence of symmetry.
DAC 2002: 731-736 |
| 2 | | Fadi A. Aloul,
Arathi Ramani,
Igor L. Markov,
Karem A. Sakallah:
Generic ILP versus specialized 0-1 ILP: an update.
ICCAD 2002: 450-457 |
| 1 | | Arathi Ramani,
Salim Vhora,
S. Sanyal:
The next generation Internet protocol.
Informatica (Slovenia) 26(1): (2002) |
