Analysis of Enumeration Strategy Use in the ACT-R Cognitive Architecture | IEEE Conference Publication | IEEE Xplore