停止战争！

Остановите войну!

对于科学家来说：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

询问他人

自动推理杂志（JAR）第35卷

>主页 >期刊销售 >自动推理杂志

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第35卷，编号1-3，2005年10月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/GiunchigliaW05
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/GiunchigliaW05
恩里科·金奇利亚,托比·沃尔什:
2005年的可满足性。 1-2
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/BhallaLSM05
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BhallaLSM05
阿提特·巴拉,Inés Lync公司,何塞·T·德·索萨,乔安·马奎斯·西尔瓦:
命题可满足性的启发式回溯松弛算法。 3-24
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/PanV05
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/PanV05
潘国强,莫舍·瓦尔迪:
可满足性求解中的符号技术。 25-50
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/AlekhnovichHI05
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/AlekhnovichHI05
迈克尔·阿列克诺维奇,爱德华·赫施,德米特里·伊特塞克森:
可满足公式上DPLL算法运行时间的指数下限。 51-72
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/Szeider05
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Szeider05
斯特凡·塞德尔:
DLL子解决程序的后门集合。 73-88
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/Johannsen05
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Johannsen05
简·约翰森:
纯文字消除的复杂性。 89-95
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/Thornton05
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Thornton05
桑顿:
SAT的条款加权本地搜索。 97-142
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/FrischPDN05
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/FrischPDN05
艾伦·M·弗里希,蒂莫西·佩格尼茨,安东尼·多格特,彼得·南丁格尔:
用随机局部搜索解决非布尔可满足性问题：编码的比较。 143-179
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/BoufkhadDIS05
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BoufkhadDIS05
亚辛·布夫哈德,奥利维尔·杜波伊斯,Yannet Interian公司,巴特·塞尔曼:
常规随机k个-SAT：平衡公式的性质。 181-200
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/MeierS05
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/MeierS05
安德烈亚斯·梅耶,沃尔克·索尔格:
SAT求解在有限代数分类中的应用。 201-235
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/ArmandoCGM05
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/ArmandoCGM05
亚历山德罗·阿曼多,克劳迪奥·卡斯泰利尼,恩里科·金奇利亚,马可·马拉特:
基于SAT的分离逻辑方法。 237-263
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/BozzanoBCJRSS05
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BozzanoBCJRSS05
马可·波扎诺,罗伯托·布鲁托梅索,亚历山德罗·西马蒂,汤米·A·琼蒂拉,彼得·范·罗苏姆,斯蒂芬·舒尔茨,罗伯托·塞巴斯蒂亚尼:
数学SAT：SAT与数学决策程序的紧密结合。 265-293

第35卷第4期，2005年11月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/BartheCDS05
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BartheCDS05
吉尔斯·巴特,皮埃尔·科蒂厄,纪尧姆·迪费,Simão Melo de Sousa公司:
类型化低级语言的工具辅助规范和验证。 295-354
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/BoyerLM05
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BoyerLM05
罗伯特·博伊尔,威尔弗雷德·J·莱加托,维克托·马雷克:
实现减少措施的自动发现。 355-371
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/BarrettMS05
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BarrettMS05
克拉克·W·巴雷特,莱昂纳多·门登萨·德·莫拉,亚伦·斯塔姆:
第一届可满足性模理论竞赛（SMT-COMP 2005）的设计和结果。 373-390
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jar/Peltier05
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Peltier05
尼古拉斯·佩尔蒂埃:
证明超分辨微积分终止的一些技巧。 391-427
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/Shah05
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Shah05
尼米什·沙阿:
“Rippling：数学推理的元层次指导”，由Alan Bundy、David Basin、Dieter Hutter和Andrew Ireland合著，剑桥大学出版社，2005年。 429-431

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。