搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
2009 罗伯特·布鲁迈尔 , 阿明·比尔 :
数组扩张理论的需求引理。 J.满意。 布尔模型。 计算。 6 ( 1-3 ) : 165-201 ( 2009 ) 克里斯托夫·布赫海姆 , 乔瓦尼·里纳尔迪 :
布尔优化的Terse整数线性程序。 J.满意。 布尔模型。 计算。 6 ( 1-3 ) : 121-139 ( 2009 ) 杰弗里·朱 , 亚伦·哈伍德 , 彼得·J·斯塔基 :
用于布尔可满足性求解器的缓存意识数据结构。 J.满意。 布尔模型。 计算。 6 ( 1-3 ) : 99-120 ( 2009 ) 罗曼·格什曼 , 奥弗·斯特里赫曼 :
HaifaSat:基于抽象/细化模型的SAT解算器。 J.满意。 布尔模型。 计算。 6 ( 1-3 ) : 33-51 ( 2009 ) 路易斯·吉尔 , 保罗·F·弗洛雷斯 , 路易斯·米格尔·西尔维拉 :
PMSat:MiniSAT的并行版本。 J.满意。 布尔模型。 计算。 6 ( 1-3 ) : 71-98 ( 2009 ) 优素福·哈马迪 :
并行SAT求解特殊问题的结论。 J.满意。 布尔模型。 计算。 6 ( 4 ) : 263 ( 2009 ) 优素福·哈马迪 , 萨伊德·贾布尔 , 拉赫达尔·赛斯 :
ManySAT:并行SAT求解器。 J.满意。 布尔模型。 计算。 6 ( 4 ) : 245-262 ( 2009 ) 乌兹乌韦豪斯 , 克劳斯·特鲁厄温 , 罗伯特·魏斯曼特 :
某些信令网络3CNF公式的线性可满足性算法。 J.满意。 布尔模型。 计算。 6 ( 1-3 ) : 13-32 ( 2009 ) 亚历山大·赫特尔 , 阿拉斯代尔·厄克哈特 :
输入和单元分辨率的算法和复杂性结果。 J.满意。 布尔模型。 计算。 6 ( 1-3 ) : 141-164 ( 2009 ) 爱德华·赫施 , 阿里斯特·科耶夫尼科夫 , 亚历山大·库利科夫 , 谢尔盖·尼科伦科 :
伪度受限的半代数证明的复杂性。 J.满意。 布尔模型。 计算。 6 ( 1-3 ) : 53-69 ( 2009 ) 安蒂·埃罗·约翰内斯·海瓦里宁 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
在基于网格的随机SAT求解中引入子句学习。 J.满意。 布尔模型。 计算。 6 ( 4 ) : 223-244 ( 2009 ) 托比亚斯·舒伯特 , 马修·刘易斯 , 伯恩德·贝克尔 :
PaMirXT:线程和消息传递的并行SAT求解。 J.满意。 布尔模型。 计算。 6 ( 4 ) : 203-222 ( 2009 ) 斯特凡·塞德尔 :
匹配公式和后门集合。 J.满意。 布尔模型。 计算。 6 ( 1-3 ) : 1-12 ( 2009 )
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)