Compact representation of polymatroid axioms for random variables with conditional independencies | IEEE Conference Publication | IEEE Xplore