smt - aided combinatorial materials discovery .
Basic Local Alignment Search Tool