S. Subbarayan

FAST BACKTRACK-FREE PRODUCT CONFIGURATION USING A PRECOMPILED SOLUTION SPACE REPRESENTATION

R. M. Jensen, H. Andersen, T. Hadzic, 2004 .

Comparing Two Implementations of a Complete and Backtrack-Free Interactive Configurator

R. M. Jensen, H. Andersen, T. Hadzic, 2004 .

On Hybrid SAT Solving Using Tree Decompositions and BDDs

S. Subbarayan, L. Bordeaux, Y. Hamadi, 2006 .

NiVER: Non Increasing Variable Elimination Resolution for Preprocessing SAT instances

Dhiraj K. Pradhan, Sathiamoorthy Subbarayan, S. Subbarayan, 2004, SAT.

An Empirical Comparison of CSP Decomposition Methods

Sathiamoorthy Subbarayan, S. Subbarayan, 2007 .

Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems

Sathiamoorthy Subbarayan, S. Subbarayan, 2005, CPAIOR.