other persons with the same name:
2007 | ||
---|---|---|
11 | EE | Frederic Green, Amitabha Roy: Uniqueness of Optimal Mod 3 Circuits for Parity. Algebraic Methods in Computational Complexity 2007 |
10 | EE | Amitabha Roy, Howard Straubing: Definability of Languages by Generalized First-Order Formulas over N+. SIAM J. Comput. 37(2): 502-521 (2007) |
2006 | ||
9 | EE | Amitabha Roy, Howard Straubing: Definability of Languages by Generalized First-Order Formulas over (N, +). STACS 2006: 489-499 |
8 | EE | Amitabha Roy: Fault Tolerant Boolean Satisfiability. J. Artif. Intell. Res. (JAIR) 25: 503-527 (2006) |
2005 | ||
7 | EE | Eugene M. Luks, Amitabha Roy: Combinatorics of Singly-Repairable Families. Electr. J. Comb. 12: (2005) |
2004 | ||
6 | EE | Eugene M. Luks, Amitabha Roy: The Complexity of Symmetry-Breaking Formulas. Ann. Math. Artif. Intell. 41(1): 19-45 (2004) |
2002 | ||
5 | EE | Eugene M. Luks, Amitabha Roy: Symmetry Breaking in Constraint Satisfaction. AMAI 2002 |
2000 | ||
4 | EE | Amitabha Roy, Christopher Wilson: Supermodels and Closed Sets Electronic Colloquium on Computational Complexity (ECCC) 7(10): (2000) |
1998 | ||
3 | Matthew L. Ginsberg, Andrew J. Parkes, Amitabha Roy: Supermodels and Robustness. AAAI/IAAI 1998: 334-339 | |
1997 | ||
2 | David Joslin, Amitabha Roy: Exploiting Symmetry in Lifted CSPs. AAAI/IAAI 1997: 197-202 | |
1996 | ||
1 | James M. Crawford, Matthew L. Ginsberg, Eugene M. Luks, Amitabha Roy: Symmetry-Breaking Predicates for Search Problems. KR 1996: 148-159 |
1 | James M. Crawford | [1] |
2 | Matthew L. Ginsberg | [1] [3] |
3 | Frederic Green | [11] |
4 | David Joslin | [2] |
5 | Eugene M. Luks | [1] [5] [6] [7] |
6 | Andrew J. Parkes | [3] |
7 | Howard Straubing | [9] [10] |
8 | Christopher Wilson | [4] |