| 2008 |
|---|
| 6 | EE | Sathiamoorthy Subbarayan:
Efficient Reasoning for Nogoods in Constraint Solvers with BDDs.
PADL 2008: 53-67 |
| 2007 |
|---|
| 5 | | Sathiamoorthy Subbarayan,
Lucas Bordeaux,
Youssef Hamadi:
Knowledge Compilation Properties of Tree-of-BDDs.
AAAI 2007: 502-507 |
| 4 | EE | Sathiamoorthy Subbarayan,
Henrik Reif Andersen:
Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs.
IJCAI 2007: 180-185 |
| 2005 |
|---|
| 3 | EE | Sathiamoorthy Subbarayan:
Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems.
CPAIOR 2005: 351-365 |
| 2004 |
|---|
| 2 | EE | Sathiamoorthy Subbarayan,
Dhiraj K. Pradhan:
NiVER: Non Increasing Variable Elimination Resolution for Preprocessing SAT instances.
SAT 2004 |
| 1 | EE | Sathiamoorthy Subbarayan,
Dhiraj K. Pradhan:
NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances.
SAT (Selected Papers 2004: 276-291 |
