A Functional Taxonomy of Logic Puzzles | IEEE Conference Publication | IEEE Xplore