搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
2022 斯蒂芬·舒尔茨 :
叠加条件排序的经验性质。 IJCAR的PAAR 2022 玛丽亚·保拉·博纳西纳 , 莎拉·温克勒 :
关于SGGS和Horn条款。 IJCAR的PAAR 2022 马丁·布隆伯格 , 托拜厄斯·盖尔 , Lorenz Leutgeb公司 , 克里斯托夫·魏登巴赫 :
一种用于一阶逻辑的双观察文字方案。 IJCAR的PAAR 2022 马丁·布隆伯格 , 西蒙·施瓦兹 , 克里斯托夫·魏登巴赫 :
用SCL探索部分模型。 IJCAR的PAAR 2022 马尔顿·哈杜 , 劳拉·科瓦奇 , 迈克尔·劳森 , 安德烈·沃伦科夫 :
吸血鬼感应法(短文)。 IJCAR的PAAR 2022 马克西米利安·海辛格 , 马蒂娜·塞德尔 , 阿明·比尔 :
QuAPI:向非假设SAT和QBF解算器添加假设。 IJCAR的PAAR 2022 费比安·胡奇 , 文森特·博德 :
伊莎贝尔社区基准。 IJCAR的PAAR 2022 梁晨成 , 菲利普·吕默 , 马克·布罗克施密特 :
探索使用GNN表示Horn子句。 IJCAR的PAAR 2022 格拉泽戈兹·普鲁萨克 , 塞萨里·卡利西克 :
实践中的懒惰调节。 IJCAR的PAAR 2022 迈克尔·劳森 , 马丁·苏达 , 佩特拉·霍佐娃 , 吉尔斯·雷格 :
自动定理证明程序中引入符号的重用(短文)。 IJCAR的PAAR 2022 汉斯·约格·舒尔 :
每个人的最佳战略时间表。 IJCAR的PAAR 2022 亚历山大·斯汀 :
轻量级非经典推理的可扩展逻辑嵌入工具(短文)。 IJCAR的PAAR 2022 亚历山大·斯汀 , David Fuen市长 , 托比亚斯·格莱纳 , 杰夫·萨特克利夫 , 克里斯托夫·本兹穆勒 :
TPTP世界中非经典逻辑的自动推理。 IJCAR的PAAR 2022 克里斯托弗·沃恩哈德 :
生成压缩组合证明结构:一种自动证明一阶定理的方法。 IJCAR的PAAR 2022 波利斯·寇涅夫 , 克劳迪娅·肖恩 , 亚历山大·斯汀 :
与第十一届国际自动推理联合会议(FLoC/IJCAR 2022)合办的自动推理实践方面研讨会会议记录,以色列海法,2022年8月11日至12日。 CEUR研讨会论文集 3201, CEUR-WS.org公司 2022 [目录] 2020 埃里卡·阿布拉哈姆 , 詹姆斯·达文波特 , 马修·英格兰 , Gereon Kremer公司 , 扎克·唐克斯 :
计算实几何形式证明的新机会? (扩展摘要)。 PAAR+SC²@IJCAR 2020 : 178-188 佩德罗·巴罗佐 , 马里奥·佩雷拉 , 安托尼奥·拉瓦拉 :
动画逻辑:正确的功能转换为连接范式。 PAAR+SC²@IJCAR 2020 : 1-20 菲利普·巴特克 , 马丁·苏达 :
从简单符号特征学习优先顺序。 PAAR+SC²@IJCAR 2020 : 21-33 伯恩哈德·格雷斯 , 马丁·苏达 :
饱和定理证明的分层子句选择。 PAAR+SC²@IJCAR 2020 : 34-52 罗伯特·刘易斯 , 保罗·尼科拉斯·马德兰 :
简化强制和强制(扩展抽象)。 PAAR+SC²@IJCAR 2020 : 53-62 刘庆华 , 吴子石 , 王子豪 , 杰夫·萨特克利夫 :
公理选择技术评估。 PAAR+SC²@IJCAR 2020 : 63-75 克里斯托夫·吕德斯 :
用可满足模理论(SMT)解算器计算热带流行区。 PAAR+SC²@IJCAR 2020 : 189-203 本杰明·奥利弗 , 延斯·奥顿 :
连接计算中的等式预处理。 PAAR+SC²@IJCAR 2020 : 76-92 托马斯·普罗科什 , 弗朗索瓦·布里 :
尝试推理。 PAAR+SC²@IJCAR 2020 : 93-108 迈克尔·劳森 , 贾尔斯·雷格尔 :
用于逻辑推理的有向图网络(扩展摘要)。 PAAR+SC²@IJCAR 2020 : 109-119 康斯坦丁·鲁多夫 , 斯蒂芬·舒尔茨 :
高效实施大规模监视列表。 PAAR+SC²@IJCAR 2020 : 120-133 纳库·赛迪 , 汉娜·齐格弗里德 , 斯蒂芬·舒尔茨 , 杰夫·萨特克利夫 :
减少TPTP语言(及其他)。 PAAR+SC²@IJCAR 2020 : 134-147 罗贝特·瓦伊达 , 佐尔坦·科瓦奇 :
GeoGebra和 现实主义 推理工具。 PAAR+SC²@IJCAR 2020 : 204-219 佩塔尔·武克米罗维奇 , 努梅林签证 :
高阶叠加证明中的布尔推理。 PAAR+SC²@IJCAR 2020 : 148-166 Sen Zheng先生 , 雷娜特·施密特 :
通过解析查询保护碎片(扩展摘要)。 PAAR+SC²@IJCAR 2020 : 167-177