Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures
Symmetric Submodular Function Minimization Under Hereditary Family Constraints
Symmetry and approximability of submodular maximization problems
Synthesizing Minimal Tile Sets for Patterned DNA Self-Assembly
Systolic Array Technique for Determining Common Approximate Substrings