文件大小：0.85 MB 8页
稳定手表的单位传播（短文）
作者
马库斯·伊泽尔 
,
-
部分： 体积： 第27届约束规划原理与实践国际会议（CP 2021）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 约束规划原理与实践国际会议 许可证： 
知识共享署名4.0国际许可 出版日期：2021-10-15
文件
文件标识符
作者详细信息
引用为 获取BibTex
摘要
主题分类
ACM科目分类
计算理论→约束和逻辑编程
关键词
单位传播 两个被关注的文字 文字稳定性
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
Armin Biere、Katalin Fazekas、Mathias Fleury和Maximillian Heisinger。 CaDiCaL、Kissat、Paracooba、Plingeling和Treengeling参加了2020年SAT竞赛。 在TomášBalyo、Nils Froleyks、Marijn J.H.Heule、Markus Iser、Matti Järvisalo和Martin Suda，编辑，《2020年SAT竞赛论文集》，第50-53页。 赫尔辛基大学计算机科学系，2020年。 
-
罗伯特·布鲁迈尔（Robert Brummayer）和阿明·比尔（Armin Biere）。 数组扩展理论所需的引理。 J.满意。 布尔模型。 计算。， 6(1-3):165-201, 2009.
-
尼尔斯·弗罗莱克斯（Nils Froleyks）、马里恩·赫勒（Marijn Heule）、马库斯·伊瑟（Markus Iser）、马蒂·贾维萨洛（Matti Järvisalo）和马丁·苏达（Martin Suda）。 2020年SAT竞赛。 《人工智能》，接受出版，2021年。
-
伊恩·P·根特。 观看文字和更通用技术的最佳实现。 J.阿蒂夫。 智力。 Res.，48:231-2512013年。
-
斯特芬·霍尔多布勒（Steffen Hölldobler）、诺伯特·曼泰（Norbert Manthey）和阿里·萨普塔维贾亚（Ari Saptawijaya）。 改进资源-软件SAT解决方案。 Christian G.Fermüller和Andrei Voronkov，编辑，《编程逻辑、人工智能和推理——第17届国际会议》，LPAR-17，印尼日惹，2010年10月10-15日。 《计算机科学讲稿》第6397卷，第519-534页。 施普林格，2010年。
-
罗伯特·杰罗斯洛和王金昌。 解决命题可满足性问题。 安。数学。 Artif公司。 智力。， 1:167-187, 1990.
-
斯蒂芬·科切马佐夫（Stepan Kochemazov）。 F2TRC：SC2018-SR2019获奖者的确定性修改。 在TomášBalyo、Nils Froleyks、Marijn J.H.Heule、Markus Iser、Matti Järvisalo和Martin Suda编辑的《2020年SAT竞赛论文集：求解器和基准描述》，第21-22页。 赫尔辛基大学计算机科学系，2020年。
-
Joao P.Marques-Silva和Karem A.Sakallah。 掌握：命题可满足性的搜索算法。 IEEE计算机汇刊，48（5）：506-5211999。
-
马修·莫斯科维奇（Matthew W.Moskewicz）、科诺·马迪根（Conor F.Madigan）、赵莹（Ying Zhao）、张林涛（Lintao Zhang）和莎拉·马利克（Sharad Malik）。 Chaff：设计一个高效的SAT求解器。 2001年6月18日至22日在美国内华达州拉斯维加斯举行的第38届设计自动化会议记录，DAC 2001，第530-535页。
-
赛义德·内贾蒂（Saeed Nejati）、扬·霍拉切克（Jan Horácek）、凯瑟琳·赫波提斯（Catherine H.Gebotys）和维杰伊·加内什（Vijay Ganesh）。 使用编程SAT解算器对SHA散列函数进行代数故障攻击。 约翰·胡克（John N.Hooker），《约束编程原理与实践——第24届国际会议》（Principles and Practice of Constraint Programming-24th International Conference）编辑，2018年8月27日至31日，法国里尔，2018年，《计算机科学讲稿》第11008卷，第737-754页。
-
多米尼克·施赖伯（Dominik Schreiber）、达米安·佩利尔（Damien Pellier）、亨伯特·菲奥里诺（Humbert Fiorino）和托马斯·巴利奥（Tomás Balyo）。 用于分层规划的高效SAT编码。 阿娜·保拉·罗查（Ana Paula Rocha）、吕克·斯蒂尔斯（Luc Steels）和H.贾普·范登·赫里克（H.Jaap van den Herik），编辑，《第十一届代理与人工智能国际会议论文集》（Proceedings of the 11th International Conference on Agents and Artificial Intelligence），2019年2月19日至21日。 科学技术出版社，2019年。