Using interval constraint propagation for pseudo-Boolean constraint solving | IEEE Conference Publication | IEEE Xplore