位置：成果数据库 > 期刊 > 期刊详情页
可满足问题中的模型计数
  • ISSN号：1673-4785
  • 期刊名称：智能系统学报
  • 时间：2012
  • 页码：33-39
  • 相关项目：对象集合动态可变的应对规划研究
作者： 谷文祥|朱磊|黄平|殷明浩|
同期刊论文项目
对象集合动态可变的应对规划研究
期刊论文 38
同项目期刊论文
Interval-valued intuitionistic fuzzy soft sets and their properties
Some new results on soft hypermodules
改进的萤火虫算法求解阻塞流水线调度问题
最坏情况下Min-2SAT问题的上界
最坏情况下X3SAT最大海明距离问题最小上界
Optimal synthesis of linear antenna array with composite differential evolution algorithm
An effective recognition method for network attack
基于共生遗传算法求解应急资源调度
置换流水线车间调度问题的研究
Linear Antenna Array Synthesis using Orthogonal Artificial Bee Colony Algorithm
可能性决策图
图规划分解方法的研究
基于U-规划图与动作效果相关的规划识别研究
概率规划的研究
多值知识编译
概率规划识别的研究
模糊c-均值算法和万有引力算法求解模糊聚类问题
A discrete artificial bee colony algorithm with composite mutation strategies for permutation flow s
人工智能问题中的相变现象研究
一种求解TSP问题的混合算法
基于MCN和MO启发式策略的扩展规则知识编译方法
最坏情况下X2SAT问题的上界
最坏情况下#3-SAT问题最小上界
基于分支回溯的NAE-3SAT问题求解算法
A Hybrid Cuckoo Search via Lévy Flights for Permutation Flow shop Scheduling Problem
Fuzzy multiset finite automata and their languages
Conformant规划的编码方式研究
SAT问题中隐蔽集求解的改进
具有预测功能的规划识别算法研究
智能规划的逻辑编码方式研究
基于加权规划知识图的入侵规划识别研究
期刊信息
  • 《智能系统学报》
  • 中国科技核心期刊
  • 主管单位:中华人民共和国工业和信息化部
  • 主办单位:中国人工智能学会 哈尔滨工程大学
  • 主编：钟义信
  • 地址：哈尔滨市南通大街145号1楼
  • 邮编：150001
  • 邮箱：tis@vip.sina.com
  • 电话：0451-82518134
  • 国际标准刊号：ISSN：1673-4785
  • 国内统一刊号：ISSN：23-1538/TP
  • 邮发代号:14-190
  • 获奖情况:
  • 2010年荣获教育部"第3届中国高校特色科技期刊奖"和...
  • 国内外数据库收录:
  • 波兰哥白尼索引,美国剑桥科学文摘,中国中国科技核心期刊,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:2705