内哈·洛达;塞巴斯蒂安·奥德尼亚克;斯泽德,斯特凡 SAT对枝条宽度的处理方法。 (英语) Zbl 1433.68412号 ACM变速器。计算。日志。 第20条第3款第15条第24页(2019年).MSC公司:68T20型 05C65号 05C78号 05C85号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{N.Lodha}等人,ACM Trans。计算。日志。20,第3号,第15条,第24页(2019年;Zbl 1433.68412) 全文: 内政部 链接
罗纳德·哈恩;伊亚德·坎吉;斯泽德,斯特凡 关于寻找CNF公式和CSP实例的小的不可满足子集的参数化复杂性。 (英语) Zbl 1407.68215号 ACM变速器。计算。日志。 第18条第3款第21条第46页(2017年).MSC公司:65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.de Haan}等人,《美国医学杂志》。计算。日志。18,第3号,第21条,46页(2017;Zbl 1407.68215) 全文: 内政部
西蒙·波娃;罗伯特·加尼安;斯泽德,斯特凡 部分有序集上的模型检查存在逻辑。 (英语) Zbl 1367.68182号 ACM变速器。计算。日志。 17,第2号,第10条,第35页(2016年).MSC公司:60年第68季度 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bova}等人,ACM Trans。计算。日志。17,第2号,第10条,第35页(2016年;Zbl 1367.68182) 全文: 内政部 arXiv公司
约翰·费希特。;斯泽德,斯特凡 析取逻辑程序的正常后门。 (英语) Zbl 1367.68032号 ACM变速器。计算。日志。 17,第1号,第7条,第23页(2015年).MSC公司:68N17号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Fichte}和\textit{S.Szeider},ACM Trans。计算。日志。17,第1号,第7条,23页(2015;Zbl 1367.68032) 全文: 内政部 arXiv公司
马里恩·赫勒。;斯泽德,斯特凡 SAT中的clique-width方法。 (英语) Zbl 1354.68240号 ACM变速器。计算。日志。 第16号第3条第24条第27页(2015年).MSC公司:68T20型 05C69号 05C75号 05C78号 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.H.Heule}和\textit{S.Szeider},ACM Trans。计算。日志。16,第3号,第24条,第27页(2015;Zbl 1354.68240) 全文: 内政部 arXiv公司
斯泽德,斯特凡 局部基数约束图上的一元二阶逻辑。 (英语) 兹比尔1351.68121 ACM变速器。计算。日志。 第12号,第2条,第12条,第21页(2011年).MSC公司:65年第68季度 03B70号 05年3月 2017年第68季度 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Szeider},ACM事务。计算。日志。12,第2号,第12条,第21页(2011;Zbl 1351.68121) 全文: 内政部