Sathiamoorthy Subbarayan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2004–2008
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | PADL | Efficient Reasoning for Nogoods in Constraint Solvers with BDDs. | Sathiamoorthy Subbarayan |
| 2007 | AAAI | Knowledge Compilation Properties of Tree-of-BDDs. | Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi |
| 2007 | IJCAI | Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs. | Sathiamoorthy Subbarayan, Henrik Reif Andersen |
| 2005 | CPAIOR | Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems. | Sathiamoorthy Subbarayan |
| 2004 | SAT | NiVER: Non Increasing Variable Elimination Resolution for Preprocessing SAT instances. | Sathiamoorthy Subbarayan, Dhiraj K. Pradhan |
| 2004 | SAT | NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances. | Sathiamoorthy Subbarayan, Dhiraj K. Pradhan |