索姆·班纳吉;苏马纳戈什;安苏曼·班纳吉;Mohalik,Swarup K。 基于SMT的尖峰神经网络建模与验证:案例研究。 (英语) Zbl 07728613号 Dragoi,Cezara(编辑)等人,《验证、模型检查和抽象解释》。第24届国际会议,VMCAI 2023,美国马萨诸塞州波士顿,2023年1月16-17日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13881, 25-43 (2023).MSC公司:60年第68季度 2007年第68季度 92B20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Banerjee}等人,Lect。注释计算。科学。13881,25-43(2023;Zbl 07728613) 全文: 内政部
科罗拉多州。;卡西穆丁,M.S.M。;Mansor,医学硕士。;萨塔西瓦姆,S。 Hopfield神经网络中基于蚁群优化的命题可满足性逻辑。 (英语) Zbl 07807408号 马来人。数学杂志。科学。 第16期,第1期,第37-53页(2022年).MSC公司:68倍 92至XX PDF格式BibTeX公司 XML格式引用 \textit{L.C.Kho}等人,马来人。数学杂志。科学。16,编号1,37--53(2022;Zbl 07807408) 全文: 内政部
科里安·图利耶;卡罗琳·巴罗克;亚历山大·博克迈尔;卢多维奇·科特雷特;洛伊奇·波列维;安妮·西格尔 在调节代谢网络中学习布尔控制:一个案例研究。 (英语) Zbl 1491.92055号 Cinquemani,Eugenio(编辑)等人,《系统生物学中的计算方法》。第19届国际会议,CMSB 2021,波尔多,法国,2021年9月22日至24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12881, 159-180 (2021).MSC公司:92C40型 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Thuillier}等人,Lect。注释计算。科学。12881159--180(2021年;Zbl 1491.92055) 全文: 内政部 哈尔
尼克拉斯·克鲁夫;克里斯托夫·吕德斯;奥维迪乌·拉杜列斯库;托马斯·斯特姆;塞巴斯蒂安·沃尔彻 多时间尺度生物网络的算法约简。 (英语) 兹比尔1484.13058 数学。计算。科学。 15,第3期,499-534(2021). 审核人:哈米德·拉科伊(萨尔布吕肯) MSC公司:13页第10页 68瓦30 34E15号机组 第37页第10页 92C45型 PDF格式BibTeX公司 XML格式引用 \textit{N.Kruff}等人,数学。计算。科学。15,编号3,499--534(2021;Zbl 1484.13058) 全文: 内政部 arXiv公司
卢卡·卡德利;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德里亚·万丁 微分等价的符号计算。 (英语) Zbl 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) 全文: 内政部 链接
贾诺什·Döcker;利奥·范·埃尔塞尔;史蒂文·凯尔克;西蒙·林茨 在两棵树上很难判断是否存在樱桃采摘序列。 (英语) Zbl 1409.05191号 离散应用程序。数学。 260, 131-143 (2019).MSC公司:05C82号 05C90年 2017年第68季度 92B10型 92D15型 PDF格式BibTeX公司 XML格式引用 \textit{J.Döcker}等人,《离散应用》。数学。260、131--143(2019年;Zbl 1409.05191) 全文: 内政部 arXiv公司 链接
托马斯·斯特姆 综述了实量词消除、判定和可满足性的一些方法及其应用。 (英语) Zbl 1425.68380号 数学。计算。科学。 11,编号3-4483-502(2017).MSC公司:68吨15 03B35型 03C10号机组 14第05页 68瓦30 92立方37 92E20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Sturm},数学。计算。科学。11、编号3--4、483--502(2017;Zbl 1425.68380) 全文: 内政部
卢卡·卡德利;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德里亚·万丁 微分等价的符号计算。 (英语) Zbl 1347.68258号 Bodik,Rastislav(编辑)等人,第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20日至22日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3549-2)。137-150 (2016).MSC公司:68问题85 60J28型 60年第68季度 68瓦30 92立方厘米 92E20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,《第43届ACM SIGPLAN-SIGCT编程语言原理年度研讨会论文集》,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20日至22日。纽约州纽约市:计算机协会(ACM)。137-150(2016;Zbl 1347.68258) 全文: 内政部 链接
杰罗德·贾格尔;莎莉,登山者;张伟雄 基于整数规划、分枝定界和布尔可满足性的完全简约单倍型推理问题及算法。 (英语) Zbl 1362.92046号 J.离散算法 37, 68-83 (2016).MSC公司:92D10型 65年第68季度 90立方厘米 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Jäger}等人,《离散算法》37,68–83(2016;Zbl 1362.92046) 全文: 内政部
阿里夫·M·法里德;卡洛斯·门西娅;若昂·西尔瓦侯爵 Horn公式的有效MUS枚举及其公理精确定位应用。 (英语) Zbl 1471.68173号 Heule,Marijn(编辑)等人,《满意度测试的理论和应用——SAT 2015》。第18届国际会议,美国德克萨斯州奥斯汀,2015年9月24日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9340, 324-342 (2015).MSC公司:68兰特 68T27型 68立方英尺 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Arif}等人,Lect。注释计算。科学。9340,324--342(2015;Zbl 1471.68173) 全文: 内政部 arXiv公司
尼尔·达尔肖;尼尔·墨菲;拉斯穆斯·彼得森;博扬·约丹诺夫 合成和调整具有特定行为的化学反应网络。 (英语) Zbl 1403.92356号 安德鲁·菲利普斯(编辑)等人,《DNA计算和分子编程》。第21届国际会议,DNA 21,美国马萨诸塞州波士顿和剑桥,2015年8月17日至21日。诉讼程序。查姆:施普林格(ISBN 978-3-319-21998-1/pbk;978-3-3169-21999-8/电子书)。计算机科学讲座笔记9211,16-33(2015)。MSC公司:92E20型 68N17号 68吨15 90B10型 60J20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Dalchau}等人,Lect。注释计算。科学。9211,16-33(2015;Zbl 1403.92356) 全文: 内政部 arXiv公司
阿洛奇,大卫;伊莎贝·安德烈;苏菲·芭比;杰西卡·戴维斯;西蒙·德·吉夫里;Katsirelos,乔治;巴里·奥沙利文;史蒂夫·普雷斯特维奇;托马斯·希克斯;塞杜·特拉奥雷 计算蛋白质设计是一个优化问题。 (英语) Zbl 1407.92099号 Artif公司。智力。 212, 59-79 (2014).MSC公司:92D20型 68T20型 90立方厘米 90C20个 PDF格式BibTeX公司 XML格式引用 \textit{D.Allouche}等人,Artif。智力。212、59--79(2014年;Zbl 1407.92099) 全文: 内政部
马提亚斯·巴兹;蝉蜕、阿加塔;Preining,诺伯特 哥德尔逻辑中的一阶可满足性:一个NP-完全片段。 (英语) 兹比尔1244.03090 西奥。计算。科学。 412,第47号,6612-6623(2011). 审核人:布鲁内拉·格拉(瓦雷斯) MSC公司:03B52号 2017年第68季度 68层35 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}等人,Theor。计算。科学。412,第47号,6612--6623(2011;Zbl 1244.03090) 全文: 内政部
埃瓦尔德·斯佩肯迈耶;安德烈亚斯·沃兹劳;保时捷、斯特凡 一种基于可满足性的在水平图上嵌入广义缠结图的方法。 (英语) Zbl 1330.68225号 Sakallah,Karem A.(编辑)等人,《可满足性测试的理论和应用——2011年SAT》。2011年6月19-22日在美国密歇根州安阿伯举行的2011年第14届国际SAT会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21580-3/pbk)。计算机科学讲座笔记6695134-144(2011)。MSC公司:68兰特 68T20型 92D15型 PDF格式BibTeX公司 XML格式引用 \textit{E.Speckenmeyer}等人,Lect。注释计算。科学。6695,134--144(2011;Zbl 1330.68225) 全文: 内政部 链接
安托尼奥·莫尔加多;若昂·西尔瓦侯爵 最大四重一致性问题的组合优化解。 (英语) Zbl 1214.68364号 芬丹。通知。 102,编号3-4,363-389(2010).MSC公司:68T20型 90C27型 92D15型 PDF格式BibTeX公司 XML格式引用 \textit{A.Morgado}和\textit{J.Marques-Silva},Fundam。通知。102,编号3-4363-389(2010年;兹bl 1214.68364) 全文: 链接
Choi,Sung-Soon先生;京明钟;Kim,Jeong Han先生 随机NK景观模型中的相变。 (英语) Zbl 1182.68230号 Artif公司。智力。 172,编号2-3,179-203(2008).MSC公司:68T20型 65年第68季度 92D10型 PDF格式BibTeX公司 XML格式引用 \textit{S.-S.Choi}等人,Artif。智力。172,编号2--3,179-203(2008;Zbl 1182.68230) 全文: 内政部
林奇,因斯;佐奥·西尔瓦侯爵;史蒂夫·普雷斯特维奇 通过局部搜索促进单倍型推断。 (英语) Zbl 1142.92030 约束条件 13,编号1-2,155-179(2008).MSC公司:92D10型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{I.Lynge}等人,《限制条件13》,编号1--2,155-179(2008;Zbl 1142.92030) 全文: 内政部 链接
郭敏义;Chang,翁龙;曹建农 使用贴纸解决分子超级计算机中的三维匹配问题。 (英语) Zbl 1171.68477号 国际期刊高性能计算。Netw公司。第1卷,第1-3期,第128-139页(2004年)。MSC公司:2005年第68季度 2017年第68季度 92D20型 PDF格式BibTeX公司 XML格式 全文: 内政部
马丁·查尔斯·格伦比奇;罗恩·沙米尔 时间推理的复杂性和算法:一种图论方法。 (英语) Zbl 0795.68095号 J.协会计算。机器。 40,第5期,1108-1133(1993).MSC公司:65年第68季度 68吨15 68兰特 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Golumbic}和\textit{R.Shamir},J.协会计算。机器。40,编号5,1108--1133(1993;Zbl 0795.68095) 全文: 内政部