@irenes @simon Yeah, but "CS 220: Graph search, constraint satisfaction problems, logic trees, bayesian filters, and neural nets" is just such a danged mouthful