A group theoretic branch and bound algorithm for the zero-one integer programming problem | lit.salon