The brute force got reduced down to fast heuristics, like Arthur Benjamin's Mathemagics.