简·德雷尔；塞巴斯蒂安·奥德尼亚克；斯泽德，斯特凡 CSP超越了可处理的约束语言。 （英语） Zbl 07805096号 约束条件 28，编号3，450-471（2023）.MSC公司：68季度xx 05Cxx号 68次发射 PDF格式BibTeX公司 XML格式引用 \textit{J.Dreier}等人，《约束》28，第3期，450-471（2023；Zbl 07805096） 全文： 内政部 OA许可证
汤姆·佩特尔；斯泽德，斯特凡 打公式很难解决吗？ （英语） Zbl 07696121号 离散应用程序。数学。 337, 173-184 (2023).MSC公司：68次发射 68季度xx 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{T.Peitl}和\textit{S.Szeider}，离散应用程序。数学。337173--184（2023年；Zbl 07696121） 全文： 内政部 arXiv公司
爱德华·艾本；罗伯特·加尼安；伊亚德·坎吉；塞巴斯蒂安·奥德尼亚克；斯泽德，斯特凡 关于不完全数据聚类问题的参数化复杂性。 （英语） Zbl 07661813号 J.计算。系统。科学。 134, 1-19 (2023).MSC公司：68T09号 62H30型 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Eiben}等人，J.Compute。系统。科学。134，1-19（2023；Zbl 07661813） 全文： 内政部 arXiv公司
罗伯特·加尼安；金恩贞（Kim，Eun Jung）；弗里德里希·斯利沃夫斯基；斯泽德，斯特凡 具有默认值的产品总和：算法和复杂性结果。 （英语） Zbl 07527533号 J.阿蒂夫。智力。研究（JAIR） 73, 535-552 (2022).MSC公司：68次发射 PDF格式BibTeX公司 XML格式引用 \textit{R.Ganian}等人，J.Artif。智力。研究（JAIR）73，535--552（2022；Zbl 07527533） 全文： 内政部
Franz-Xaver Reichl；弗里德里希·斯利沃夫斯基；斯泽德，斯特凡 通过定义提取认证DQBF解决方案。 （英语） Zbl 07495594号 Li，Chu Min（ed.）等人，《可满足性测试的理论与应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 499-517 (2021).MSC公司：65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.-X.Reichl}等人，Lect。注释计算。科学。12831499--517（2021；Zbl 07495594） 全文： 内政部 arXiv公司
罗伯特·加尼安；斯泽德，斯特凡 SAT和#SAT的新宽度参数。 （英语） Zbl 1519.68168号 Artif公司。智力。 295，文章ID 103460，18 p.（2021）.MSC公司：68兰特 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ganian}和\textit{S.Szeider}，Artif。智力。295，文章ID 103460，18页（2021；Zbl 1519.68168） 全文： 内政部
爱德华·艾本；罗伯特·加尼安；斯泽德，斯特凡 使用结构良好的调制器的元核化。 （英语） Zbl 1396.68055号 离散应用程序。数学。 248, 153-167 (2018).MSC公司：65年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{E.Eiben}等人，《离散应用》。数学。248153-167（2018；Zbl 1396.68055） 全文： 内政部 arXiv公司 链接
塞尔盖·加斯佩斯；塞巴斯蒂安·奥德尼亚克；斯泽德，斯特凡 CSP后门套件。 （英语） Zbl 1482.68163号 Krokhin，Andrei（编辑）等人，《约束满足问题：复杂性和近似性》，Dagstuhl研讨会153012015年7月。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。Dagstuhl Follow-Ups 7，137-157（2017）。MSC公司：68兰特 08A70号 65年第68季度 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Gaspers}等人，Dagstuhl Follow-Ups 7，137--157（2017；Zbl 1482.68163） 全文： 内政部
罗纳德·哈恩；斯泽德，斯特凡 参数化复杂度类超过para-NP。 （英语） Zbl 1370.68146号 J.计算。系统。科学。 87, 16-57 (2017).MSC公司：65年第68季度 2005年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.de Haan}和\textit{S.Szeider}，J.Compute。系统。科学。87、16-57（2017；Zbl 1370.68146） 全文： 内政部
塞尔盖·加斯佩斯；内尔德哈拉·米斯拉；塞巴斯蒂安·奥德尼亚克；斯泽德，斯特凡；斯坦尼斯拉夫·伊文 后门进入SAT和CSP的异构类。 （英语） Zbl 1356.68097号 J.计算。系统。科学。 85, 38-56 (2017).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Gaspers}等人，《计算杂志》。系统。科学。85、38-56（2017；Zbl 1356.68097） 全文： 内政部 arXiv公司
丹尼尔·保卢斯玛；弗里德里希·斯利沃夫斯基；斯泽德，斯特凡 有界模树宽CNF公式的模型计数。 （英语） Zbl 1353.68137号 算法 76，第1期，168-194（2016）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Paulusma}等人，Algorithmica 76，No.1，168--194（2016；Zbl 1353.68137） 全文： 内政部 链接
罗伯特·加尼安；弗里德里希·斯利沃夫斯基；斯泽德，斯特凡 具有结构参数的元核化。 （英语） 兹比尔1346.68109 J.计算。系统。科学。 82，第2期，333-346（2016）.MSC公司：65年第68季度 03B25号 05C70号 05C85号 68周05 PDF格式BibTeX公司 XML格式引用 \textit{R.Ganian}等人，《计算杂志》。系统。科学。82，No.2，333--346（2016；Zbl 1346.68109） 全文： 内政部
约翰·费希特。；斯泽德，斯特凡 析取逻辑程序的正常后门。 （英语） 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公司
克里斯特·Bäckström；彼得·琼森；塞巴斯蒂安·奥德尼亚克；斯泽德，斯特凡 有界规划的完整参数化复杂性分析。 （英语） Zbl 1320.68096号 J.计算。系统。科学。 81，第7期，1311-1332（2015）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛C.Bäckström｝等人，J.Comput。系统。科学。81，第7号，1311--1332（2015；Zbl 1320.68096） 全文： 内政部 arXiv公司
约翰·克劳斯·费希特；斯泽德，斯特凡 可控制答案集编程的后门。 （英语） Zbl 1328.68040号 Artif公司。智力。 220, 64-103 (2015).MSC公司：68N17号 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Fichte}和\textit{S.Szeider}，Artif。智力。220、64-103（2015；Zbl 1328.68040） 全文： 内政部 arXiv公司
塞尔盖·加斯佩斯；斯泽德，斯特凡 约束满足和推理中预处理的保证和限制。 （英语） Zbl 1405.68139号 Artif公司。智力。 216, 1-19 (2014).MSC公司：65年第68季度 68卢比 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Gaspers}和\textit{S.Szeider}，Artif。智力。216、1-19（2014；Zbl 1405.68139） 全文： 内政部 arXiv公司
莱因哈德，皮克勒；斯特凡·吕梅尔；斯泽德，斯特凡；斯特凡·沃尔特兰 带权重约束的可追踪答案集编程：有界树宽是不够的。 （英语） Zbl 1310.68053号 理论与实践。日志。程序。 2014年第141-164号第14页.MSC公司：68N17号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Pichler}等人，《理论与实践》。日志。程序。14，第2号，141--164（2014；Zbl 1310.68053） 全文： 内政部 arXiv公司
沃尔夫冈·德沃亚克；塞巴斯蒂安·奥德尼亚克；斯泽德，斯特凡 扩充抽象论证中易于驾驭的片段。 （英语） Zbl 1251.68225号 Artif公司。智力。 186157-173（2012年）.MSC公司：68T27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Dvořák}等人，Artif。智力。186157-173（2012年；兹比尔1251.68225） 全文： 内政部
塞尔盖·加斯佩斯；斯泽德，斯特凡 后门满意。 （英语） Zbl 1358.68133号 Bodlaender，Hans L.（编辑）等人，《多元算法革命及其以外》。纪念迈克尔·R·费罗斯60岁生日的文章。柏林：施普林格出版社（ISBN 978-3-642-30890-1/pbk）。计算机科学课堂讲稿7370287-317（2012）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Gaspers}和\textit{S.Szeider}，莱克特。注释计算。科学。7370，287--317（2012；Zbl 1358.68133） 全文： 内政部 arXiv公司
金恩贞（Kim，Eun Jung）；塞巴斯蒂安·奥德尼亚克；斯泽德，斯特凡 说服性论证的算法和复杂性结果。 （英语） Zbl 1230.68189号 Artif公司。智力。 175，编号9-10，1722-1736（2011）.MSC公司：68T27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛E.J.Kim｝等人，人工制品。智力。175，编号9-10，1722--1736（2011；Zbl 1230.68189） 全文： 内政部
马可·萨梅尔；斯泽德，斯特凡 扩展的全局基数约束的可追踪情况。 （英语） Zbl 1215.68164号 约束条件 16，第1号，1-24（2011）.MSC公司：68卢比 68兰特 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Samer}和\textit{S.Szeider}，约束16，第1号，1-24（2011；Zbl 1215.68164） 全文： 内政部
马可·萨梅尔；斯泽德，斯特凡 命题模型计数算法。 （英语） Zbl 1214.05166号 J.离散算法 第8期，第1期，50-64页（2010年）.MSC公司：05C85号 PDF格式BibTeX公司 XML格式引用 \textit{M.Samer}和\textit{S.Szeider}，J.离散算法8，No.1，50--64（2010；Zbl 1214.05166） 全文： 内政部
马可·萨梅尔；斯泽德，斯特凡 重新访问有界树宽的约束满足。 （英语） Zbl 1186.68443号 J.计算。系统。科学。 76，第2期，103-114（2010）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Samer}和\textit{S.Szeider}，J.Compute。系统。科学。76，No.2，103--114（2010；Zbl 1186.68443） 全文： 内政部
马可·萨梅尔；斯泽德，斯特凡 命题模型计数算法。 （英语） Zbl 1137.68623号 Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学课堂讲稿4790。人工智能课堂讲稿，484-498（2007）。MSC公司：68周05 65年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Samer}和\textit{S.Szeider}，莱克特。注释计算。科学。4790484--498（2007年；Zbl 1137.68623） 全文： 内政部
内奥米·西村；普拉巴卡尔·拉格德；斯泽德，斯特凡 使用顶点覆盖求解#SAT。 （英语） Zbl 1133.68073号 学报信息。 44，编号7-8，509-523（2007）.MSC公司：68T20型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishimura}等人，《信息学报》第44期，第7--8、509--523号（2007年；Zbl 1133.68073） 全文： 内政部
斯泽德，斯特凡 具有有界子句变量差的最小不可满足公式是固定参数可处理的。 （英语） 兹比尔1108.68065 J.计算。系统。科学。 69，第4期，656-674（2004）.MSC公司：65年第68季度 2015年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Szeider}，J.计算。系统。科学。69，第4号，656--674（2004；Zbl 1108.68065） 全文： 内政部 链接