Searching for authors named "Sathiamoorthy Subbarayan" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

7 documents found, showing 1 through 7.

Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems
by Sathiamoorthy Subbarayan — 2005 — In Proceedings of the CP-AI-OR. Springer LNCS
… Sathiamoorthy Subbarayan IT University of Copenhagen, Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark sathi…
Cited by 4 (1 self) – Add To MetaCart

NiVER: Non Increasing Variable Elimination Resolution for Preprocessing SAT instances
by Sathiamoorthy Subbarayan And, Sathiamoorthy Subbarayan, Dhiraj K Pradhan — 2004 — In Proc. 7th International Conference on Theory and Applications of Satisfiability Testing (SAT
… ⋆ Sathiamoorthy Subbarayan 1 and Dhiraj K Pradhan 2 1 Department of Innovation, IT-University of Copenhagen…
Add To MetaCart

NiVER: Non Increasing Variable Elimination Resolution for Preprocessing SAT Instances
by Sathiamoorthy Subbarayan, Dhiraj K Pradhan — 2004 — In Proc. 7th International Conference on Theory and Applications of Satisfiability Testing (SAT
… Sathiamoorthy Subbarayan 1 and Dhiraj K Pradhan 2 1 Department of Innovation IT-University of Copenhagen…
Cited by 14 (0 self) – Add To MetaCart

Linear functions for interactive configuration using join matching and CSP tree decomposition
by Sathiamoorthy Subbarayan, Henrik Reif Andersen — 2005 — Water Utilities Partnership. 2000. "Draft Report on Status of Reforms of the Water and Sanitation Sector in Africa." Water Utilities Partnership: Abidjan, Côte d'Ivoire
… Sathiamoorthy Subbarayan, Henrik Reif Andersen Department of Innovation, IT University of Copenhagen Denmark…
Cited by 2 (0 self) – Add To MetaCart

Backtracking procedures for hypertree, hyperspread and connected hypertree decomposition of CSPs
by Sathiamoorthy Subbarayan, Henrik Reif Andersen — IJCAI
… Sathiamoorthy Subbarayan and Henrik Reif Andersen The IT University of Copenhagen Denmark sathi…
Cited by 1 (1 self) – Add To MetaCart

Comparing Two Implementations of a Complete and Backtrack-Free Interactive Configurator
by Sathiamoorthy Subbarayan, Rune M. Jensen, Tarik Hadzic, Henrik R. Andersen, Henrik Hulgaard, Jesper Møller — 2004 — In: CP’04 CSPIA Workshop
… Sathiamoorthy Subbarayan 1 , Rune M. Jensen 1 , Tarik Hadzic 1 , Henrik R. Andersen 1 , Henrik Hulgaard 2…
Cited by 12 (9 self) – Add To MetaCart

H.: Fast backtrack-free product configuration using a precompiled solution space representation
by Tarik Hadzic, Sathiamoorthy Subbarayan, Rune M. Jensen, Henrik R. Andersen, Jesper Møller, Henrik Hulgaard — 2004 — In: PETO Conference, DTU-tryk
… Hadzic, Sathiamoorthy Subbarayan, Rune M. Jensen, Henrik R. Andersen, Jesper Møller * , and Henrik…
Cited by 19 (14 self) – Add To MetaCart

Showing 1 through 7.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB