多米尼克·舍德 PPSZ for \（k\geq 5\）：越多越好。 （英语） Zbl 1496.68259号 ACM事务处理。计算。理论 11，第4号，第25条，第22页（2019）.MSC公司：68兰特 68瓦20 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{D.Scheder}，ACM事务。计算。理论11，第4条，第25条，第22页（2019年；Zbl 1496.68259） 全文： 内政部
帕维尔·普德拉克;多米尼克·舍德;纳维德·塔利班 PPSZ的更严格的硬实例。 （英语） Zbl 1441.68238号 Chatzigianakis，Ioannis（编辑）等人，第44届自动化、语言和编程国际研讨会，2017年ICALP，波兰华沙，2017年7月10日至14日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80，第85条，第13页（2017年）。MSC公司：68T20型 2017年第68季度 68兰特 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{P.Pudlák}等人，LIPIcs--Leibniz Int.Proc。通知。80，第85条，13 p.（2017；Zbl 1441.68238） 全文： 内政部 arXiv公司
多米尼克·舍德;约翰·斯坦伯格。 通用（k）-SAT的PPSZ——使赫特利的分析更简单，3-SAT更快。 （英语） Zbl 1437.68199号 Ryan O'Donnell（编辑），第32届计算复杂性会议，CCC 2017年7月6日至9日，拉脱维亚里加。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。79，第9条，第15页（2017年）。MSC公司：68瓦20 68兰特 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{D.Scheder}和\textit{J.P.Steinberger}，LIPIcs——莱布尼茨国际程序。通知。79，第9条，第15页（2017年；Zbl 1437.68199） 全文： 内政部
古汀，G。;琼斯，M。;D.舍德。;Yeo，A。 3-可满足MaxSat的一个新界及其算法应用。 （英语） Zbl 1358.68134号 Inf.计算。 231, 117-124 (2013).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Gutin}等人，《Inf.Compute》。231117--124（2013年；Zbl 1358.68134） 全文： 内政部
蒂蒙·赫特利;罗宾·莫瑟（Robin A.Moser）。;多米尼克·舍德 使用关键变量改进3-SAT的PPSZ。 （英语） Zbl 1230.68179号 Schwentick，Thomas（编辑）等人，STACS 2011。2011年3月10日至12日，第28届计算机科学理论方面国际研讨会，德国多特蒙德。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-25-5）。LIPIcs–莱布尼茨国际信息学论文集9，237-248，仅电子版（2011年）。MSC公司：68T20型 68瓦20 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{T.Hertli}等人，LIPIcs——莱布尼茨国际程序。通知。9、237--248（2011；Zbl 1230.68179） 全文： 内政部 arXiv公司 链接
多米尼克·舍德;菲利普·祖姆施泰因 有多少冲突是不可满足的？ （英语） Zbl 1138.68553号 Kleine Büning，Hans（编辑）等人，《可满足性测试的理论和应用——SAT 2008》。2008年5月12日至15日，中国广州，第十一届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79718-0/pbk）。计算机科学课堂讲稿4996，246-256（2008）。MSC公司：68T20型 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{D.Scheder}和\textit{P.Zumstein}，莱克特。注释计算。科学。4996，246--256（2008年；Zbl 1138.68553） 全文： 内政部 链接
多米尼克·舍德;菲利普·祖姆施泰因 指数族的可满足性。 （英语） Zbl 1214.68181号 Marques-Silva，Joáo（编辑）等人，《可满足性测试的理论和应用——SAT 2007》。第十届国际会议，葡萄牙里斯本，2007年5月28日至31日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-72787-3/pbk）。计算机科学讲义4501148-158（2007）。MSC公司：65年第68季度 2017年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Scheder}和\textit{P.Zumstein}，莱克特。注释计算。科学。4501、148--158（2007年；Zbl 1214.68181） 全文： 内政部 链接
克劳迪娅·卡佩利;多米尼克·舍德 可满足公式的部分满足。 （英语） Zbl 1341.68063号 Márquez，Alberto（ed.）等人，《第四届欧洲组合学、图论和应用会议论文集》，2007年9月11日至15日，西班牙塞维利亚，EuroComb'07。阿姆斯特丹：爱思唯尔。《离散数学电子笔记》29，497-501（2007）。MSC公司：65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Käppeli}和\textit{D.Scheder}，电子。注释离散数学。29497-501（2007年；兹bl 1341.68063） 全文： 内政部