I like the term “brute-force inference” because it describes the state of the art accurately.