首页> 外文OA文献 >Parallelizing Local Search for CNF Satisfiability Using Vectorization and PVM

【2h】

Parallelizing Local Search for CNF Satisfiability Using Vectorization and PVM

机译：使用矢量化和pVm并行化本地搜索CNF可满足性

页面导航

著录项
相似文献
相关主题

著录项

作者
Kazuo Iwama; Daisuke Kawai; Shuichi Miyazaki; Yasuo Okabe; Jun Umemoto;
展开▼
作者单位

展开▼
年度 2007
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Vectorized Local Search for CNF Satisfiability [J] . Daishuke Kawai, Shuichi Miyazaki, Yasuo Okabe 情報処理学会論文誌 . 2001,第4期

机译：CNF可满足性的矢量化本地搜索
2. Configuration landscape analysis and backbone guided local search. Part I: Satisfiability and maximum satisfiability [J] . Weixiong Zhang Artificial intelligence . 2004,第1期

机译：配置格局分析和骨干引导的本地搜索。第一部分：满意度和最大满意度
3. Use of support vector machines with a parallel local search algorithm for data classification and feature selection [J] . Cura Tunchan Expert systems with applications . 2020,第May期

机译：使用支持向量机与并行本地搜索算法进行数据分类和功能选择
4. Parallelizing Local Search for CNF Satisfiability Using Vectorization and PVM [C] . Kazuo Iwama, Daisuke Kawai, Shuichi Miyazaki, Algorithm Engineering . 2001

机译：使用矢量化和PVM并行进行CNF可满足性的本地搜索
5. Stochastic Local Search for non-clausal and circuit satisfiability . [D] . Belov, Anton. 2010

机译：非子句和电路可满足性的随机局部搜索。
6. Applying aspiration in local search for satisfiability [O] . Cong Peng, Zhongwei Xu, Meng Mei 2020

机译：在本地搜索中应用愿望可满足性
7. Configuration landscape analysis and backbone guided local search. Part I: Satisfiability and maximum satisfiability [O] . Zhang Weixiong 2004

机译：配置格局分析和骨干引导的本地搜索。第一部分：满意度和最大满意度
8. Generalized CNF satisfiability, local reductions and complexity of succinctly specified problems [R] . Marathe, M. V. , Hunt, H. B. , Stearns, R. E. , 1995

机译：广义的CNF可满足性，局部减少和简明扼要的问题的复杂性

Parallelizing Local Search for CNF Satisfiability Using Vectorization and PVM

著录项

相似文献

相关主题

期刊订阅