Algebraic, logical and network representations in the design of software for combinatorial optimization | IEEE Conference Publication | IEEE Xplore