the bron-kerbosch algorithmthe cocke-younger-kasami algorithmthe hindley-milner algorithm
a Schelling point for those who seek one
