保时捷、斯特凡;塔贾纳·施密特;埃瓦尔德·斯佩肯迈耶;安德烈亚斯·沃兹劳 线性CNF类的XSAT和NAE-SAT。 (英语) Zbl 1284.05106号 离散应用程序。数学。 167, 1-14 (2014).MSC公司:05C15号 05C65号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Porschen}等人,《离散应用》。数学。167,1-14(2014;Zbl 1284.05106) 全文: 内政部
安德烈亚斯·沃兹劳;埃瓦尔德·斯佩肯迈耶;保时捷、斯特凡 水平图上的广义(k)元缠结图:一种基于可满足性的方法及其评价。 (英语) 兹比尔1252.05152 离散应用程序。数学。 160,第16-17号,2349-2363(2012).MSC公司:05C62号 05年10月 05二氧化碳 05C60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Wotzlaw}等人,《离散应用》。数学。160、第16--17、2349--2363号(2012;Zbl 1252.05152) 全文: 内政部
埃瓦尔德·斯佩肯迈耶;安德烈亚斯·沃茨劳;保时捷、斯特凡 一种基于可满足性的在水平图上嵌入广义缠结图的方法。 (英语) 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) 全文: 内政部 链接
保时捷、斯特凡;塔贾纳·施密特;埃瓦尔德·斯佩肯迈耶 线性XSAT问题的复杂性结果。 (英语) Zbl 1306.68046号 Strichman,Ofer(编辑)等人,《可满足性测试的理论和应用——SAT 2010》。2010年7月11日至14日在英国爱丁堡举行的2010年SAT第13届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14185-0/pbk)。计算机科学课堂讲稿6175251-263(2010)。MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Porschen}等人,Lect。注释计算。科学。61752251-263(2010年;兹比尔1306.68046) 全文: 内政部
保时捷、斯特凡;塔贾纳·施密特;埃瓦尔德·斯佩肯迈耶 关于混合Horn公式的某些方面。 (英语) Zbl 1247.68114号 Kullmann,Oliver(编辑),可满足性测试的理论和应用——SAT 2009。2009年6月30日至7月3日在英国斯旺西举行的2009年第12届国际SAT会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02776-5/pbk)。计算机科学课堂讲稿5584,86-100(2009)。MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Porschen}等人,Lect。注释计算。科学。5584,86-100(2009年;Zbl 1247.68114) 全文: 内政部
保时捷、斯特凡;埃瓦尔德·斯佩肯迈耶;赵西顺 线性CNF公式和可满足性。 (英语) Zbl 1186.68223号 离散应用程序。数学。 157,第5期,1046-1068(2009).MSC公司:65年第68季度 05C65号 PDF格式BibTeX公司 XML格式引用 \textit{S.Porschen}等人,《离散应用》。数学。157,第5号,1046--1068(2009;Zbl 1186.68223) 全文: 内政部 链接
保时捷、斯特凡;埃瓦尔德·斯佩肯迈耶 推广精确线性公式的CNF类。 (英语) Zbl 1138.68550号 Kleine Büning,Hans(编辑)等人,《可满足性测试的理论和应用——SAT 2008》。2008年5月12日至15日,中国广州,第十一届国际SAT会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-79718-0/pbk)。《计算机科学讲义》4996、231-245(2008)。MSC公司:68T20型 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{S.Porschen}和\textit{E.Speckenmeyer},莱克特。注释计算。科学。49963231-245(2008年;兹比尔1138.68550) 全文: 内政部
保时捷、斯特凡;埃瓦尔德·斯佩肯迈耶 可变加权2-SAT和对偶问题的算法。 (英语) Zbl 1214.68368号 Marques-Silva,Joáo(编辑)等人,《可满足性测试的理论和应用——SAT 2007》。第十届国际会议,葡萄牙里斯本,2007年5月28日至31日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-72787-3/pbk)。计算机科学讲义4501,173-186(2007)。MSC公司:68T20型 65年第68季度 90立方厘米60 PDF格式BibTeX公司 XML格式引用 \textit{S.Porschen}和\textit{E.Speckenmeyer},莱克特。注释计算。科学。4501、173--186(2007年;Zbl 1214.68368) 全文: 内政部 链接
保时捷、斯特凡;埃瓦尔德·斯佩肯迈耶 混合Horn公式的可满足性。 (英语) Zbl 1122.68115号 离散应用程序。数学。 155,第11期,1408-1419(2007).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Porschen}和\textit{E.Speckenmeyer},离散应用。数学。155,第11号,1408-1419(2007;Zbl 1122.68115) 全文: 内政部
保时捷、斯特凡;埃瓦尔德·斯佩肯迈耶;伯特·兰德拉斯 关于线性CNF公式。 (英语) Zbl 1138.68551号 Biere,Armin(编辑)等人,《满意度测试的理论和应用——SAT 2006》。第九届国际会议,2006年8月12-15日,美国华盛顿州西雅图。诉讼程序。柏林:施普林格出版社(ISBN 3-540-37206-7/pbk)。计算机科学讲义4121212-225(2006)。MSC公司:68T20型 03B05号 05B15号 05C15号 05C65号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Porschen}等人,Lect。注释计算。科学。4121、212--225(2006年;Zbl 1138.68551) 全文: 内政部
保时捷、斯特凡;埃瓦尔德·斯佩肯迈耶 一些NP-完全修正Horn-SAT问题的最坏情况边界。 (英语) 兹比尔1122.68614 Hoos,Holger H.(编辑)等,可满足性测试的理论和应用。2004年5月10日至13日,加拿大不列颠哥伦比亚省温哥华市,2004年SAT第七届国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 3-540-27829-X/pbk)。计算机科学课堂讲稿3542,251-262(2005)。MSC公司:68T20型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Porschen}和\textit{E.Speckenmeyer},莱克特。注释计算。科学。3542,251--262(2005;Zbl 1122.68614) 全文: 内政部
保时捷、斯特凡;伯特·兰德拉斯;埃瓦尔德·斯佩肯迈耶 精确3-可满足性在时间上是可判定的(O(2^{0.16254 n})。 (英语) Zbl 1099.68042号 安。数学。Artif公司。智力。 43,编号1-4173-193(2005).MSC公司:65年第68季度 03B05号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Porschen}等人,《数学年鉴》。Artif公司。智力。43,编号1--4,173-193(2005;Zbl 1099.68042) 全文: 内政部
约翰·V·佛朗哥。(编辑);乔戈·加洛(编辑);汉斯·克莱恩·勃宁(编辑);埃瓦尔德·斯佩肯迈耶(编辑);恩德雷·博罗斯(编辑);彼得·哈默。(编辑) 可满足性问题;布尔函数。关于可满足性问题(第1-244页)和布尔函数(第245-479页)的特刊。包括1996年4月29日至5月3日在意大利蓬蒂尼亚诺证书举行的第一次可满足性研讨会上的论文。转载自《离散应用数学》杂志96-97(1999)。 (英语) Zbl 0936.00029号 离散数学专题. 10. 阿姆斯特丹:爱思唯尔。482页(1999年)。MSC公司:00B25型 03-06 06-06 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Franco}(编辑)等,可满足性问题;布尔函数。关于可满足性问题(第1-244页)和布尔函数(第245-479页)的特刊。包括1996年4月29日至5月3日在意大利Certosa di Pontignano举行的第一次可满足性研讨会上的论文。转载自《离散应用数学》杂志96-97(1999)。阿姆斯特丹:Elsevier(1999;Zbl 0936.00029)
约翰·V·佛朗哥。(编辑);乔治·加洛(编辑);汉斯·克莱恩·勃宁(编辑);埃瓦尔德·斯佩肯迈耶(编辑);恩德雷·博罗斯(编辑);彼得·哈默。(编辑) 关于可满足性问题的特刊(第1-244页),包括1996年4月29日至5月3日在意大利Certosa di Pontignano举行的第一次可满足性研讨会上的论文和布尔函数(第245-479页)。 (英语) Zbl 0935.00027号 离散应用程序。数学。 96-97482页(1999年).MSC公司:00B25型 03-06 06-06 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Franco}(编辑)等人,《离散应用》。数学。96-97482页(1999年;Zbl 0935.00027) 全文: 内政部
约翰·W·罗森塔尔。;埃瓦尔德·斯佩肯迈耶;雷纳·坎普 精确可满足性,集合分区的自然扩展,以及它的平均情况行为。 (英语) Zbl 0865.03030号 安。数学。Artif公司。智力。 6,编号1-3,185-200(1992).MSC公司:2015年3月1日 65年第68季度 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Rosenthal}等人,《数学年鉴》。Artif公司。智力。6,编号1--3,185--200(1992;Zbl 0865.03030) 全文: 内政部
埃瓦尔德·斯佩肯迈耶 精确可满足性问题回溯的平均情况复杂度。 (英语) Zbl 0661.68108号 计算机科学逻辑,第一次研讨会,CSL’87,Karlsruhe/FRG 1987,Lect。注释计算。科学。329, 281-288 (1988).MSC公司:68T20型 65年第68季度 90C27型 PDF格式BibTeX公司 XML格式
埃瓦尔德·斯佩肯迈耶 具有指数或线性平均阶回溯树的精确可满足性CNF公式类。 (英语) Zbl 0649.68102号 计算机科学数学基础。第十三交响曲。,卡尔斯巴德/捷克。1988年,Lect。注释计算。科学。324, 529-537 (1988).MSC公司:68T20型 68页第10页 65年第68季度 PDF格式BibTeX公司 XML格式
博克哈德·莫尼恩;埃瓦尔德·斯佩肯迈耶;奥利弗·沃恩伯格 覆盖问题的上限。 (英语) 兹比尔0508.90065 方法操作。物件。 43, 419-431 (1981).MSC公司:90立方厘米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Monien}等人,《操作方法》。第43、419--431号决议(1981年;Zbl 0508.90065)