Boosting the Quality of Approximate String Matching by Synonyms
Improved upper bounds for 3-SAT