×

找到12个文档（结果1-12）

最新的 引文 相关性
罗伯特·加尼安;内哈·洛达;塞巴斯蒂安·奥德尼亚克;斯泽德，斯特凡

树宽和树高的SAT编码。 （英语） Zbl 1430.68206号

Kobourov，Stephen（编辑）等人，《第21届算法工程与实验研讨会论文集》，ALENEX’19，美国加利福尼亚州圣地亚哥，2019年1月7日至8日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）。117-129 (2019).
MSC公司：68兰特 05C70号 68兰特 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{R.Ganian}等人，摘自：《第21届算法工程与实验研讨会论文集》，ALENEX’19，美国加利福尼亚州圣地亚哥，2019年1月7日至8日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）。117-129（2019年；Zbl 1430.68206）
全文： DOI程序 arXiv公司
爱德华·艾本;罗伯特·加尼安;塞巴斯蒂安·奥德尼亚克

使用依赖树宽度对QBF进行小分辨率证明。 （英语） Zbl 1487.68135号

Niedermeier，Rolf（编辑）等人，第35届计算机科学理论方面研讨会，2018年2月28日至3月3日，法国卡昂，STACS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96，第28条，第15页（2018年）。
MSC公司：68年第27季度 20层03 68兰特 68T20型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{E.Eiben}等人，LIPIcs——莱布尼茨国际程序。通知。96，第28条，第15页（2018；Zbl 1487.68135）
全文： DOI程序 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）
全文： DOI程序
内哈·洛达;塞巴斯蒂安·奥德尼亚克;斯泽德，斯特凡

特殊树宽和路径宽度的SAT编码。 （英语） Zbl 1496.68266号

Gaspers，Serge（编辑）等人，《满意度测试的理论和应用——2017年SAT》。第20届国际会议，澳大利亚维多利亚州墨尔本，2017年8月28日至9月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10491, 429-445 (2017).
MSC公司：68兰特 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{N.Lodha}等人，Lect。注释计算。科学。10491429--445（2017；Zbl 1496.68266）
全文： DOI程序
内哈·洛达;塞巴斯蒂安·奥德尼亚克;斯泽德，斯特凡

分支宽度的SAT方法。 （英语） 兹比尔1475.68219

Creignou，Nadia（编辑）等人，《可满足性测试的理论和应用——SAT 2016》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710, 179-195 (2016).
MSC公司：68兰特 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{N.Lodha}等人，Lect。注释计算。科学。9710、179--195（2016年；Zbl 1475.68219）
全文： DOI程序 链接
塞尔盖·加斯佩斯;塞巴斯蒂安·奥德尼亚克;拉马努扬，M.S。;萨科特·索拉布;斯泽德，斯特凡

q-Horn的后门。 （英语） Zbl 1354.68123号

Portier，Natacha（编辑）等人，第30届计算机科学理论方面国际研讨会，STACS’13，德国基尔，2013年2月27日至3月2日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-939897-50-7）。LIPIcs–莱布尼茨国际信息学论文集20，67-79（2013）。
MSC公司：65年第68季度 03B05号 68磅05分
PDF格式BibTeX公司 XML格式引用
\textit{S.Gaspers}等人，LIPIcs——莱布尼茨国际程序。通知。20、67-79（2013年；Zbl 1354.68123）
全文： DOI程序
塞巴斯蒂安·奥德尼亚克;丹尼尔·保卢斯玛;斯泽德，斯特凡

非循环和几乎非循环CNF公式的可满足性。 （英语） Zbl 1245.68112号

Lodaya，Kamal（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2010），2010年12月15日至18日，印度钦奈。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-23-1）。LIPIcs–莱布尼茨国际信息学会议录8，84-95，仅电子版（2010年）。
MSC公司：65年第68季度 2017年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Ordyniak}等人，LIPIcs——莱布尼茨国际程序。通知。8、84-95（2010年；Zbl 1245.68112）
全文： DOI程序 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

软件