NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances. - Sathiamoorthy Subbarayan; Dhiraj K. Pradhan (SAT (Selected Papers, 2004)

Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems. - Sathiamoorthy Subbarayan (CPAIOR, 2005)

Knowledge Compilation Properties of Tree-of-BDDs. - Sathiamoorthy Subbarayan; Lucas Bordeaux; Youssef Hamadi (AAAI, 2007)

Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs. - Sathiamoorthy Subbarayan; Henrik Reif Andersen (IJCAI, 2007)

Efficient Reasoning for Nogoods in Constraint Solvers with BDDs. - Sathiamoorthy Subbarayan (PADL, 2008)