Improving IntSat by expressing disjunctions of bounds as linear constraints | Publicación