尼克拉斯·克鲁夫;克里斯托夫·吕德斯;奥维迪乌·拉杜列斯库;托马斯·斯特姆;塞巴斯蒂安·沃尔彻 多时间尺度生物网络的算法约简。 (英语) Zbl 1484.13058号 数学。计算。科学。 第3期第15页,第499-534页(2021). 审核人:哈米德·拉科伊(萨尔布吕肯) MSC公司:13页第10页 68瓦30 34E15号机组 第37页第10页 92C45型 PDF格式BibTeX公司 XML格式引用 \textit{N.Kruff}等人,数学。计算。科学。15,编号3,499–534(2021;兹bl 1484.13058) 全文: 内政部 arXiv公司
卢卡·卡德利;米尔科·特里巴斯通;Tschaikowski,马克斯;安德烈·范丁 微分等价的符号计算。 (英语) 兹比尔1425.68463 西奥。计算。科学。 777, 132-154 (2019).MSC公司:68瓦30 34个C99 68号30 68问题55 60年第68季度 68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,Theor。计算。科学。777132-154(2019年;Zbl 1425.68463) 全文: 内政部 链接
乔尔·弗里德曼;安德烈亚斯·高尔特;克里维列维奇,迈克尔 有效识别更多不可满足的随机SAT实例。 (英语) Zbl 1090.05064号 SIAM J.计算。 35,第2期,408-430(2005).MSC公司:05C80号 68卢比 34升15 34L20码 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Friedman}等人,SIAM J.Compute。35,第2号,408--430(2005;Zbl 1090.05064) 全文: 内政部