Minimal Supplying Community Search with constraint-based optimization methods.
Constraint-based modeling framework for the enumeration of pathway analysis concepts
