|
Search the dblp DataBase
Sathiamoorthy Subbarayan:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Sathiamoorthy Subbarayan
Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems. [Citation Graph (0, 0)][DBLP] CPAIOR, 2005, pp:351-365 [Conf]
- Sathiamoorthy Subbarayan, Henrik Reif Andersen
Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs. [Citation Graph (0, 0)][DBLP] IJCAI, 2007, pp:180-185 [Conf]
- Sathiamoorthy Subbarayan, Dhiraj K. Pradhan
NiVER: Non Increasing Variable Elimination Resolution for Preprocessing SAT instances. [Citation Graph (0, 0)][DBLP] SAT, 2004, pp:- [Conf]
- Sathiamoorthy Subbarayan, Dhiraj K. Pradhan
NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances. [Citation Graph (0, 0)][DBLP] SAT (Selected Papers, 2004, pp:276-291 [Conf]
- Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi
Knowledge Compilation Properties of Tree-of-BDDs. [Citation Graph (0, 0)][DBLP] AAAI, 2007, pp:502-507 [Conf]
Efficient Reasoning for Nogoods in Constraint Solvers with BDDs. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|