Literature on seeds is vaster than I expected, a complete list of papers can be found here.
Most important problems/approaches are summarized in my manuscript.
Related topics
I read about related topics, i.e. boolean functions and approximation algorithms.
Research
Modeling
Formal model based on boolean functions which models simple seeds and seed families.
Approximate String Matching Framework
APX-ratio for the minimum non-detected error.
APX-ratio for the complementary threshold.
FPRAS for seed sensitivity/specificity values.
Heuristic (APX?) for the optimal seed BDD construction.