搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
2024 多米尼克·施赖伯 :
使用现场LRAT检查的可信可扩展SAT解决方案。 坐 2024 : 25:1-25:19 克里斯托夫·朔尔 , 托比亚斯·塞弗特 , 费边·齐格沃夫 :
层次随机SAT与逻辑锁的质量评估。 坐 2024 : 24:1-24:22 Jiong Yang(杨炯) , 雅罗斯拉夫·哈尔科夫 , Yunong Shi公司 , Marijn J.H.鞋垫 , 布鲁诺·杜特雷 :
基于增量和并行SAT求解的量子电路映射。 坐 2024 : 29:1-29:18 马库斯·安德斯 , 索菲亚·布伦纳 , 高拉夫藤 :
萨摩:SAT中基于结构的对称性破坏。 坐 2024 : 4:1-4:23 奥拉夫·拜尔斯多夫 , 约翰·克劳斯·费希特 , 马库斯·赫彻 , 蒂姆·霍夫曼 , 卡斯帕·卡斯 :
#SAT证明系统的相对强度。 坐 2024 : 5:1-5:19 阿明·比尔 , 卡塔琳·法泽卡斯 , 马蒂亚斯·弗勒里 , 尼尔斯·弗罗莱克斯 :
子句同余闭包。 坐 2024 : 6:1-6:25 伊拉里奥·博纳西纳 , 玛丽亚·路易莎·博内 , 马西莫·劳里亚 :
包含冗余的MaxSAT分辨率。 坐 2024 : 7:1-7:15 易初 , 李楚民 , 芙蓉叶 , 蔡少伟 :
通过统一的软子句权重方案增强MaxSAT局部搜索。 坐 2024 : 8:1-8:18 亚历克西斯·德·科尔内 :
动态和静态自顶向下编译对决策DNNF的相对效率。 坐 2024 : 11:1-11:21 罗宾·库特利埃 , 马蒂亚斯·弗勒里 , 劳拉·科瓦奇 :
时间回溯中的懒惰重复。 坐 2024 : 9:1-9:19 Yogesh Dahiya酸奶 , 米娜·马哈扬 , 萨桑克·穆利 :
非布尔基上多项式微积分的新下界。 坐 2024 : 10:1-10:20 丹尼尔·费伯 , 阿达拉特·贾布拉伊洛夫 , 佩特拉·穆泽尔 :
图着色问题的偏序模型的SAT编码。 坐 2024 : 12:1-12:20 Dror Fried公司 , 亚历山大·纳达尔 , 罗伯托·塞巴斯蒂安尼 , 约格夫·沙尔蒙 :
包含泛化可以促进枚举。 坐 2024 : 13:1-13:14 Vojtech哈夫勒纳 , 卢卡斯·霍利克 , Ondrej Lengál , 尤拉吉·西奇 :
用面条烹饪串成一体的对话。 坐 2024 : 14:1-14:19 卢卡斯·霍利克 , 帕沃尔·瓦尔戈维克 :
反链与SAT和尝试。 坐 2024 : 15:1-15:24 阿列克谢·伊格纳提耶夫 , 《紫里谈》 , 克里斯托斯·卡拉马诺斯 :
走向普及SAT技术。 坐 2024 : 16:1-16:11 井田洋一郎 , Tomohiro Sonobe公司 , 玛丽·伊娜巴 :
基于SAT问题图结构的并行子句共享策略。 坐 2024 : 17:1-17:18 马库斯·伊泽尔 , 克里斯托夫·贾布斯 :
全球基准数据库。 坐 2024 : 18:1-18:10 德米特里·伊特塞克森 , 谢尔盖·奥夫查罗夫 :
论符号法在SAT求解中的局限性。 坐 2024 : 19:1-19:22 Leszek Aleksander Kolodziejczyk公司 , 尼尔·萨彭 :
支配规则的力量。 坐 2024 : 20:1-20:22 Jean-Marie Lagniez女士 , 皮埃尔·马奎斯 , 阿明·比尔 :
投影模型计数的动态阻塞子句消除。 坐 2024 : 21:1-21:17 罗伯特·尼文胡斯 , 阿尔伯特·奥利弗拉斯 , 恩里克·罗德里格斯-卡博内尔 , 赵瑞(Rui Zhao) :
加快伪布尔传播。 坐 2024 : 22:1-22:18 Franz-Xaver Reichl公司 , 弗里德里希·斯利沃夫斯基 , 斯特凡·塞德尔 :
eSLIM:基于SAT的局部改进的电路最小化。 坐 2024 : 23:1-23:14 马蒂娜·塞德尔 :
量化布尔公式的模型和反模型(受邀演讲)。 坐 2024 : 1:1-1:7 伊尔凡莎·夏克 , 雅各·范德波尔 :
NISQ处理器上100+量子比特深量子电路的优化布局综合。 坐 2024 : 26:1-26:18 哈达尔·沙维特 , 霍尔格·H·胡斯 :
2024年再次访问SATZilla功能。 坐 2024 : 27:1-27:26 弗里德里希·斯利沃夫斯基 :
通过插值提取策略。 坐 2024 : 28:1-28:20 塞萨尔·蒂内利 :
SMT中的可扩展验证生产和检查(受邀谈话)。 坐 2024 : 2:1-2:2 莫舍·瓦尔迪 :
逻辑算法:从关系查询到布尔推理(邀请谈话)。 坐 2024 : 3:1-3:1 -
前言、目录、前言、会议组织。 坐 2024 : 0:i-0:xviii