@article{Shi_2000,
    doi = {10.1109/43.822616},
    url = {https://doi.org/10.1109%2F43.822616},
    year = {2000},
    publisher = {Institute of Electrical and Electronics Engineers ({IEEE})},
    volume = {19},
    number = {1},
    pages = {1--18},
    author = {C.-J.R. Shi and  Xiang-Dong Tan},
    title = {Canonical symbolic analysis of large analog circuits with determinant decision diagrams},
    journal = {{IEEE} Transactions on Computer-Aided Design of Integrated Circuits and Systems}
}

@article{Shi_2000, doi = {10.1109/43.822616}, url = {https://doi.org/10.1109%2F43.822616}, year = {2000}, publisher = {Institute of Electrical and Electronics Engineers ({IEEE})}, volume = {19}, number = {1}, pages = {1--18}, author = {C.-J.R. Shi and Xiang-Dong Tan}, title = {Canonical symbolic analysis of large analog circuits with determinant decision diagrams}, journal = {{IEEE} Transactions on Computer-Aided Design of Integrated Circuits and Systems} }