Efficient approximation of symbolic network functions using matroid intersection algorithms (1994)

by Q Yu, C Sechen
Venue:in Proc. 3rd Workshop on Symbolic Methods and Applications to Circuit Design