Comparison of matroid intersection algorithms for large circuit analysis | Publicación