标题 |
Genetic Algorithm Based Solution to SAT-3 Problem
基于遗传算法的SAT-3问题求解
相关领域
遗传算法
数学优化
集合(抽象数据类型)
数学
算法
真量化布尔公式
最大可满足性问题
空格(标点符号)
布尔可满足性问题
计算机科学
时间复杂性
合取范式
理论计算机科学
布尔函数
程序设计语言
操作系统
|
网址 | |
DOI |
10.12691/jcsa-3-2-3
doi
|
其它 |
期刊:Journal of Computer Sciences and Applications 作者:Umme Aiman; Nausheen Asrar 出版日期:2015-01-23 |
求助人 | |
下载 | |
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
|