位置：成果数据库 > 期刊 > 期刊详情页
MAX-k-SAT的PTAS归约等价性
  • 期刊名称：计算机科学与探索
  • 时间：0
  • 页码：641-648
  • 语言：中文
  • 相关项目：命题公式有效推理的特殊变元集及算法研究
作者： 许道云|
同期刊论文项目
命题公式有效推理的特殊变元集及算法研究
期刊论文 21 会议论文 8
同项目期刊论文
求解公式关键文字集的信息传播算法
应用因子分析和中K-MEANS聚类的客户分群建模
鸽巢公式的一些性质
两个参数化匹配计数问题的难度分析
分析中的可计算性
一个可控变迁系统模型
全息算法的原理及应用
基于Metric 算法的飞机地面作业调度问题研究
基于逻辑回归的客户稳定度建模
Research on Heuristics Logistics Distribution Algorithm Based on Parallel Multi-ant Colonies
二元关系的性质测试及其复杂性分析
信息传播算法收敛性的后门集
基于关键文字的求解SAT问题的启发式算法
基于警示传播与DPLL算法的启发式极性决策算法
基于信誉推荐和客观信任协商的P2P信任评估模型
布尔函数的学习与性质测试
一种求解多处理机调节器度问题的a-平坦化调度算法
游戏中寻找路径的改进算法
随机可满足实例集上警示传播算法的收敛性
警示传播算法的原理分析及算法改进