Amitabha Roy

13 papers A* 1A 1Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2021 — conf
Addressing Stability in Classifier Explanations.
IEEE BigData
Siavash Samiei, Nasrin Baratalipour, Pranjul Yadav, Amitabha Roy, Dake He
2011 J jnl
Fault Tolerant Boolean Satisfiability
CoRR
Amitabha Roy
2007 J jnl
Definability of Languages by Generalized First-Order Formulas over N
SIAM J. Comput.
Amitabha Roy, Howard Straubing
2007 — conf
Uniqueness of Optimal Mod 3 Circuits for Parity.
Algebraic Methods in Computational Complexity
Frederic Green, Amitabha Roy
2006 A conf
Definability of Languages by Generalized First-Order Formulas over (N, +).
STACS
Amitabha Roy, Howard Straubing
2006 J jnl
Fault Tolerant Boolean Satisfiability.
J. Artif. Intell. Res.
Amitabha Roy
2005 J jnl
Combinatorics of Singly-Repairable Families.
Electron. J. Comb.
Eugene M. Luks, Amitabha Roy
2004 J jnl
The Complexity of Symmetry-Breaking Formulas.
Ann. Math. Artif. Intell.
Eugene M. Luks, Amitabha Roy
2002 — conf
Symmetry Breaking in Constraint Satisfaction.
AI&M
Eugene M. Luks, Amitabha Roy
2000 J jnl
Supermodels and Closed Sets
Electron. Colloquium Comput. Complex.
Amitabha Roy, Christopher Wilson
1998 — conf
Supermodels and Robustness.
AAAI/IAAI
Matthew L. Ginsberg, Andrew J. Parkes, Amitabha Roy
1997 — conf
Exploiting Symmetry in Lifted CSPs.
AAAI/IAAI
David Joslin, Amitabha Roy
1996 A* conf
Symmetry-Breaking Predicates for Search Problems.
KR
James M. Crawford, Matthew L. Ginsberg, Eugene M. Luks, Amitabha Roy