single constraint resolution