Sathiamoorthy Subbarayan

According to our database, Sathiamoorthy Subbarayan authored at least 5 papers between 2004 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2008

Efficient Reasoning for Nogoods in Constraint Solvers with BDDs.

Sathiamoorthy Subbarayan

Proceedings of the Practical Aspects of Declarative Languages, 2008

2007

Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs.

Sathiamoorthy Subbarayan, Henrik Reif Andersen

Proceedings of the IJCAI 2007, 2007

Knowledge Compilation Properties of Tree-of-BDDs.

Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2005

Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems.

Sathiamoorthy Subbarayan

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005

2004

NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances.

Sathiamoorthy Subbarayan, Dhiraj K. Pradhan

Proceedings of the Theory and Applications of Satisfiability Testing, 2004