Combining finite learning automata with GSAT for the satisfiability problem
Noureddine Bouhmala; Ole-Christoffer Granmo
- 作者Noureddine Bouhmala; Ole-Christoffer Granmo
- 卷第23卷
- 期第5期
- 印刷ISSN0952-1976
- 文件大小979.00KB
- 发表时间2010
- DOI10.1016/j.engappai.2010.01.009
- 页码715-726