共 62 条
[1]
AKERS SB, 1978, IEEE T COMPUT, V27, P509, DOI 10.1109/TC.1978.1675141
[2]
Andersen H.R., 1997, An introduction to binary decision diagrams
[5]
Atlas A., 2008, RFC, V5286, P1
[6]
Bruhns Gustav S, 2024, Zenodo, DOI 10.5281/ZENODO.14179191
[7]
Bryant R., 2003, ACM Comput. Surv., V24, P03
[8]
BRYANT RE, 1986, IEEE T COMPUT, V35, P677, DOI 10.1109/TC.1986.1676819