Application of mathematical constraint resolution to decision support system | IEEE Conference Publication | IEEE Xplore