Solving graph optimization problems with ZBDDs | IEEE Conference Publication | IEEE Xplore