A planning aid: an intelligent modeling system for planning problems based on constraint satisfaction | IEEE Journals & Magazine | IEEE Xplore