| 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 |
