Tag: Boolean satisfiability
-
Finding Anagrams with Sledgehammers
An anagram is a word (or phrase) that you get by rearranging the letters of another word (or phrase), for example: LISTEN SILENT ELEVEN PLUS TWO TWELVE PLUS ONE Traditionally, an anagrammist (i.e., someone looking to create anagrams) might start with a name and then look for interesting/humorous/clever anagrams, but there are plenty of other…