主页
EPiC系列
Kalpa出版物
预印本
对于作者
对于编辑
体积
•
摘要
•
前言
•
作者
•
关键词
•
BibTex条目
IWIL 2010。
第八届物流实施国际研讨会
编辑:
杰夫·萨特克利夫
,
斯蒂芬·舒尔茨
和
尤金妮娅·特诺夫斯卡
EPiC计算系列
•
第2卷
7篇文章
•
70页
•
发布日期:2012年5月15日
文件
三年的大锤经验,自动和交互式定理证明程序之间的实际联系
劳伦斯·保尔森
和
贾斯敏·克里斯蒂安·布兰切特
第1-11页
探索Steinitz-Rademacher多面体:自动推理工具面临的挑战
杰西·阿拉玛
第12-16页
基于当前和下一知识状态的Dummett逻辑表演算
吉多·菲奥里诺
第17-32页
基于Prolog的类型理论TA-lambda和蕴涵直觉逻辑证明工具
约哈内斯·斯特凡努斯
和
阿里奥·桑托索
第33-41页
模块复杂性分析的实现
哈拉尔德·赞克
和
马丁·科尔普
第42-47页
概率描述逻辑的高效SAT求解器的实现
帕维尔·克里诺夫
和
比扬·帕西娅
第48-63页
使用SAT优化AES S-Box
卡斯滕·福斯
和
彼得·施奈德-坎普
第64-70页
键盘
AES公司
,
自动定理证明
,
列生成
,
复杂性分析
,
定冠词语法
,
派生复杂性
,
描述逻辑
,
离散数学
,
Dummett逻辑
,
有限模型
,
隐含直觉逻辑
,
入射结构
,
λ演算
,
优化
,
多面体
,
可能性
,
程序综合
,
校对工具
,
坐
2
,
结石表
,
项重写
,
定理证明器
,
类型居民搜索算法
,
类型理论
版权所有©2012-2024 easychair.org。保留所有权利。