克利斯朵夫·克雷斯佩尔;Petr A.Golovach。 图类中的可循环性。 (英语) Zbl 1485.05156号 离散应用程序。数学。 313, 147-178 (2022).MSC公司:05C75号 05C45号 05C38号 05C85号 05年05月05日 PDF格式BibTeX公司 XML格式引用 \textit{C.Crespelle}和\textit{P.A.Golovach},离散应用程序。数学。313147-178(2022年;兹比尔1485.05156) 全文: 内政部
彼得·沃伊切乔夫斯基;苏布拉马尼,K。;马修·威廉姆森 UTVPI约束中线性不可行的最优长度树状反驳的多项式时间算法。 (英语) Zbl 1527.90246号 离散应用程序。数学。 305, 272-294 (2021).MSC公司:90立方厘米 90C05(二氧化碳) 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{P.Wojciechowski}等人,《离散应用》。数学。305、272--294(2021;Zbl 1527.90246) 全文: 内政部
马修·安德森;马修·威廉姆森;苏布拉马尼,K。 最短负成本周期问题算法的实证分析。 (英语) Zbl 1401.05276号 离散应用程序。数学。 253, 167-184 (2019).MSC公司:05C85号 05C22号 05C82号 PDF格式BibTeX公司 XML格式引用 \textit{M.Anderson}等人,《离散应用》。数学。25316-184(2019年;Zbl 1401.05276) 全文: 内政部
莱昂纳尔·奎达 布尔代数的一个公理。 (英语) Zbl 1403.06020号 离散应用程序。数学。 249, 85-90 (2018). 审核人:詹姆斯·蒙克(博尔德) MSC公司:05年6月 06至75 06第15页 PDF格式BibTeX公司 XML格式引用 \textit{L.Kwuida},离散应用程序。数学。249、85-90(2018;Zbl 1403.06020) 全文: 内政部
詹姆斯·奥林(James B.Orlin)。;苏布拉马尼,K。;彼得·沃伊切霍基(Piotr Wojciechowki) 寻找网络中最短负成本周期的随机算法。 (英语) Zbl 1377.05181号 离散应用程序。数学。 236, 387-394 (2018).MSC公司:05C82号 05C85号 68瓦20 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Orlin}等人,《离散应用》。数学。236387-394(2018年;Zbl 1377.05181) 全文: 内政部 链接
米盖尔·安霍斯(Miguel F.Anjos)。;曼努埃尔·维埃拉。 关于半定最小二乘和最小不满足性。 (英语) Zbl 1364.90243号 离散应用程序。数学。 217,第2部分,79-96(2017).MSC公司:90立方厘米22 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Anjos}和\textit{M.V.C.Vieira},离散应用。数学。217,第2部分,79--96(2017;Zbl 1364.90243) 全文: 内政部
马丁·米拉尼奇;亚历山大·托梅斯库一世。 设置图形。IV、 无爪的进一步连接。 (英语) Zbl 1298.05147号 离散应用程序。数学。 174, 113-121 (2014).MSC公司:05C20号 05C75号 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{M.Milanič}和\textit{A.I.Tomescu},离散应用程序。数学。174113-121(2014年;Zbl 1298.05147) 全文: 内政部
坦比尔·艾哈迈德;奥利弗·库尔曼;亨特·斯内维里 在范德瓦尔登数上(mathrm{w}(2;3,t))。 (英语) Zbl 1298.05313号 离散应用程序。数学。 174, 27-51 (2014).MSC公司:10年5月 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Ahmed}等人,离散应用。数学。174,27-51(2014;Zbl 1298.05313) 全文: 内政部 arXiv公司
米盖尔·安霍斯(Miguel F.Anjos)。;曼努埃尔·维埃拉。 满足性的半定解和半定松弛的精确性。 (英语) Zbl 1288.90059号 离散应用程序。数学。 161,第18号,2812-2826(2013).MSC公司:90立方厘米22 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Anjos}和\textit{M.V.C.Vieira},离散应用。数学。161,第18号,2812--2826(2013;Zbl 1288.90059) 全文: 内政部
亚辛·布夫哈德;托马斯·雨格尔 估计可满足性。 (英语) Zbl 1252.90069号 离散应用程序。数学。 160,编号1-2,61-80(2012).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Boufkhad}和\textit{T.Hugel},离散应用。数学。160,编号1--2,61-80(2012;Zbl 1252.90069) 全文: 内政部
范盖尔德,艾伦 通过命题可满足性再看图着色。 (英语) Zbl 1131.05090号 离散应用程序。数学。 156,第2号,230-243(2008).MSC公司:05C85号 05C15号 68T20型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Van Gelder},离散应用程序。数学。156,编号2,230--243(2008;Zbl 1131.05090) 全文: 内政部
Delbert D.Bailey。;维克托·达尔摩;Phokion G.科莱蒂斯。 PP-完全可满足问题的相变。 (英语) 兹比尔1123.68117 离散应用程序。数学。 155,第12期,1627-1639(2007).MSC公司:68T20型 2015年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.D.Bailey}等人,《离散应用》。数学。155,第12号,1627--1639(2007;Zbl 1123.68117) 全文: 内政部 链接
拉蒙·贝加尔;很多,费利普;阿尔巴州卡比斯科;塞萨尔,费尔南德斯;卡拉·戈麦斯 正则SAT:解决组合问题的多值方法。 (英语) Zbl 1121.68104号 离散应用程序。数学。 155,第12期,1613-1626(2007).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Béjar}等人,《离散应用》。数学。155,第12号,1613-1626(2007;Zbl 1121.68104) 全文: 内政部
林奇,I。;马奎斯·西尔瓦,J。 可满足性回溯搜索算法中的随机回溯。 (英语) Zbl 1121.68109号 离散应用程序。数学。 155,第12期,1604-1612(2007).MSC公司:68T20型 68页第10页 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{I.Lynce}和\textit{J.Marques-Silva},离散应用程序。数学。155,第12号,1604--1612(2007;Zbl 1121.68109) 全文: 内政部 链接
亨利·考茨;巴特·塞尔曼 SAT的状态。 (英语) Zbl 1121.68108号 离散应用程序。数学。 155,第12期,1514-1524(2007).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Kautz}和\textit{B.Selman},离散应用程序。数学。155,第12号,1514--1524(2007;Zbl 1121.68108) 全文: 内政部
埃内斯托·斯塔菲蒂;安东尼·格劳;弗朗西斯科·塞拉托萨;阿尔贝托·桑费利乌 基于区域连接演算和定向拟阵理论的对象和图像索引。 (英语) Zbl 1099.68126号 离散应用程序。数学。 147,编号2-3,345-361(2005).MSC公司:68单位05 68吨10 68T45型 PDF格式BibTeX公司 XML格式引用 \textit{E.Staffetti}等人,《离散应用》。数学。147,编号2--3345--361(2005;Zbl 1099.68126) 全文: 内政部 链接
李伟;马士龙 代数闭域上理论序列的极限及其应用。 (英语) Zbl 1033.03005号 离散应用程序。数学。 136,第1期,23-43(2004).MSC公司:03B35型 68瓦30 03C60型 12升12 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{W.Li}和\textit{S.Ma},离散应用。数学。136,编号1,23-43(2004;Zbl 1033.03005) 全文: 内政部
斯泽德,斯特凡 合取范式的同态。 (英语) Zbl 1033.68095号 离散应用程序。数学。 130,第2期,351-365(2003).MSC公司:68吨15 03D99号 PDF格式BibTeX公司 XML格式引用 \textit{S.Szeider},离散应用程序。数学。130,第2号,351--365(2003;Zbl 1033.68095) 全文: 内政部
普莱斯特德,大卫·A。;阿明·比尔;朱云山 量化布尔公式的可满足性过程。 (英语) 兹比尔1029.68082 离散应用程序。数学。 130,第2期,291-328(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Plaisted}等人,《离散应用》。数学。130,第2号,291--328(2003;Zbl 1029.68082) 全文: 内政部
李楚敏;西尔万·杰拉德 关于硬随机不可满足3-SAT的分支规则的极限。 (英语) Zbl 1029.68081号 离散应用程序。数学。 130,第2期,277-290(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.-M.Li}和\textit{S.Gérard},离散应用程序。数学。130,第2号,277--290(2003;Zbl 1029.68081) 全文: 内政部
李楚敏 DLL过程中的等效文字传播。 (英语) Zbl 1029.68080号 离散应用程序。数学。 130,第2期,251-276(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.-M.Li},离散应用程序。数学。130,第2号,251--276(2003;Zbl 1029.68080) 全文: 内政部
奥利弗·库尔曼 精简子句集:最小不可满足子句集的推广。 (英语) Zbl 1029.68079号 离散应用程序。数学。 130,第2期,209-249(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kullmann},离散应用程序。数学。130,第2号,209--249(2003;Zbl 1029.68079) 全文: 内政部
爱德华·赫施。 MAX-\(k\)-SAT本地搜索的最坏情况研究。 (英语) Zbl 1051.68079号 离散应用程序。数学。 130,第2期,173-184(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Hirsch},离散应用。数学。130,第2号,173--184(2003;Zbl 1051.68079) 全文: 内政部
詹斯·格拉姆;爱德华·赫希。;罗尔夫·尼德迈尔;彼得·罗斯马尼思 MAX-2-SAT的最坏情况上界,并应用于MAX-CUT。 (英语) Zbl 1051.68078号 离散应用程序。数学。 130,第2期,139-155(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Gramm}等人,《离散应用》。数学。130,第2号,139--155(2003;Zbl 1051.68078) 全文: 内政部
克劳迪娅·菲奥里尼;恩里科·马蒂内利;法比奥·马萨奇 如何通过将模根查找编码为SAT问题来伪造RSA签名。 (英语) Zbl 1029.68053号 离散应用程序。数学。 130,第2期,101-127(2003).MSC公司:第68页第25页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Fiorini}等人,《离散应用》。数学。130,编号2101-127(2003年;兹bl 1029.68053) 全文: 内政部
布鲁尼,雷纳托 通过自适应核搜索逼近最小不可满足子公式。 (英语) Zbl 1029.68075号 离散应用程序。数学。 130,第2号,85-100(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni},离散应用程序。数学。130,第2号,85--100(2003;Zbl 1029.68075) 全文: 内政部
布鲁尼,雷纳托;安东尼奥·萨萨诺 命题可满足性的完全自适应算法。 (英语) Zbl 1019.68043号 离散应用程序。数学。 127,第3期,523-534(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}和\textit{A.Sassano},离散应用程序。数学。127,第3号,523--534(2003年;兹bl 1019.68043) 全文: 内政部
华纳,Joost P。;汉斯·范马伦 使用椭圆近似-有效分支规则解决可满足性问题。 (英语) Zbl 0965.68026号 离散应用程序。数学。 107,编号1-3,241-259(2000).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Warners}和\textit{H.van Maaren},离散应用。数学。107,编号1--3,241--259(2000;Zbl 0965.68026) 全文: 内政部
奥利弗·库尔曼 对自动停车作业的调查。 (英语) Zbl 0965.03018号 离散应用程序。数学。 107,编号1-3,99-137(2000).MSC公司:03B35型 65年第68季度 03B05号 03B25号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{O.Kullmann},离散应用程序。数学。107,编号1--3,99-137(2000;Zbl 0965.03018) 全文: 内政部
范盖尔德,艾伦 带有自闭剪枝的命题分解的复杂性分析。 (英语) Zbl 0937.68150号 离散应用程序。数学。 96-97, 195-221 (1999).MSC公司:68周05 PDF格式BibTeX公司 XML格式引用 \textit{A.Van Gelder},离散应用程序。数学。96-97、195-221(1999;Zbl 0937.68150) 全文: 内政部
汉斯·克莱恩·勃宁;特奥多·莱特曼 在同等条件下很难解决问题。 (英语) Zbl 0941.68125号 离散应用程序。数学。 96-97, 139-148 (1999).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Kleine Büning}和\textit{T.Lettmann},离散应用。数学。96-97、139-148(1999年;Zbl 0941.68125) 全文: 内政部
欧阳,明 DPLL中的分支规则有多好? (英语) 兹伯利0921.68033 离散应用程序。数学。 89,编号1-3,281-286(1998).MSC公司:2005年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.欧阳},离散应用程序。数学。89,编号1--3,281--286(1998;Zbl 0921.68033) 全文: 内政部