Problem solving, model solving, or what? | IEEE Conference Publication | IEEE Xplore