An Enhanced Relation-flow Algorithm for Solving Number Line Problems | IEEE Conference Publication | IEEE Xplore