Using Runtime Distributions for the Analysis and Parallelization of Local Search for SAT.
Using Runtime Distributions for the Analysis and Parallelization of Local Search for SAT.
复制标题
使用运行时分布对 SAT 本地搜索进行分析和并行化。
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
P. Codognet
中科院分区：
文献类型：
--
作者：
A. Arbelaez;C. Truchet;P. Codognet
