Symmetry-Breaking Predicates for Search Problems. - James M. Crawford; Matthew L. Ginsberg; Eugene M. Luks; Amitabha Roy 001 (KR, 1996)

Exploiting Symmetry in Lifted CSPs. - David Joslin 002; Amitabha Roy 001 (AAAI/IAAI, 1997)

Supermodels and Robustness. - Matthew L. Ginsberg; Andrew J. Parkes; Amitabha Roy 001 (AAAI/IAAI, 1998)

Supermodels and Closed Sets - Amitabha Roy 001; Christopher Wilson (Electron. Colloquium Comput. Complex., 2000)

Symmetry Breaking in Constraint Satisfaction. - Eugene M. Luks; Amitabha Roy 001 (AI&M, 2002)

The Complexity of Symmetry-Breaking Formulas. - Eugene M. Luks; Amitabha Roy 001 (Ann. Math. Artif. Intell., 2004)

Combinatorics of Singly-Repairable Families. - Eugene M. Luks; Amitabha Roy 001 (Electron. J. Comb., 2005)

Definability of Languages by Generalized First-Order Formulas over (N, +). - Amitabha Roy 001; Howard Straubing (STACS, 2006)

Fault Tolerant Boolean Satisfiability. - Amitabha Roy 001 (J. Artif. Intell. Res., 2006)

Uniqueness of Optimal Mod 3 Circuits for Parity. - Frederic Green; Amitabha Roy 001 (Algebraic Methods in Computational Complexity, 2007)

Definability of Languages by Generalized First-Order Formulas over N+. - Amitabha Roy 001; Howard Straubing (SIAM J. Comput., 2007)

Addressing Stability in Classifier Explanations. - Siavash Samiei; Nasrin Baratalipour; Pranjul Yadav; Amitabha Roy 001; Dake He (IEEE BigData, 2021)