Sathiamoorthy Subbarayan

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Publications

Sathiamoorthy Subbarayan
Efficient Reasoning for Nogoods in Constraint Solvers with BDDs. PADL (2008)
Sathiamoorthy Subbarayan, Henrik Reif Andersen
Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs. IJCAI (2007)
Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi
Knowledge Compilation Properties of Tree-of-BDDs. AAAI (2007)
Sathiamoorthy Subbarayan
Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems. CPAIOR (2005)
Sathiamoorthy Subbarayan, Dhiraj K. Pradhan
NiVER: Non Increasing Variable Elimination Resolution for Preprocessing SAT instances. SAT (2004)
Sathiamoorthy Subbarayan, Dhiraj K. Pradhan
NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances. SAT (Selected Papers (2004)