A family of matroid intersection algorithms for the computation of approximated symbolic network functions | IEEE Conference Publication | IEEE Xplore