Roy, Amitabha

3 publications

JAIR 2006 Fault Tolerant Boolean Satisfiability Amitabha Roy

AAAI 1998 Supermodels and Robustness Matthew L. Ginsberg, Andrew J. Parkes, Amitabha Roy

AAAI 1997 Exploiting Symmetry in Lifted CSPs David Joslin, Amitabha Roy