Solving difficult SAT instances in the presence of symmetry. - Fadi A. Aloul; Arathi Ramani; Igor L. Markov; Karem A. Sakallah (DAC, 2002)

Generic ILP versus specialized 0-1 ILP: an update. - Fadi A. Aloul; Arathi Ramani; Igor L. Markov; Karem A. Sakallah (ICCAD, 2002)

The next generation Internet protocol. - Arathi Ramani; Salim Vhora; Sugata Sanyal (Informatica (Slovenia), 2002)

Combining Two Local Search Approaches to Hypergraph Partitioning. - Arathi Ramani; Igor L. Markov (IJCAI, 2003)

Solving difficult instances of Boolean satisfiability in the presence of symmetry. - Fadi A. Aloul; Arathi Ramani; Igor L. Markov; Karem A. Sakallah (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003)

ShatterPB: symmetry-breaking for pseudo-Boolean formulas. - Fadi A. Aloul; Arathi Ramani; Igor L. Markov; Karem A. Sakallah (ASP-DAC, 2004)

Automatically Exploiting Symmetries in Constraint Programming. - Arathi Ramani; Igor L. Markov (CSCLP, 2004)

Dynamic symmetry-breaking for improved Boolean optimization. - Fadi A. Aloul; Arathi Ramani; Igor L. Markov; Karem A. Sakallah (ASP-DAC, 2005)

Exploiting symmetry in linear and non-linear 0-1 problems. - Arathi Ramani (2005)

Breaking Instance-Independent Symmetries In Exact Graph Coloring. - Arathi Ramani; Igor L. Markov; Karem A. Sakallah; Fadi A. Aloul (J. Artif. Intell. Res., 2006)

Symmetry breaking for pseudo-Boolean formulas. - Fadi A. Aloul; Arathi Ramani; Igor L. Markov; Karem A. Sakallah (ACM J. Exp. Algorithmics, 2007)

Solution and Optimization of Systems of Pseudo-Boolean Constraints. - Fadi A. Aloul; Arathi Ramani; Karem A. Sakallah; Igor L. Markov (IEEE Trans. Computers, 2007)

Dynamic symmetry-breaking for Boolean satisfiability. - Fadi A. Aloul; Arathi Ramani; Igor L. Markov; Karem A. Sakallah (Ann. Math. Artif. Intell., 2009)