位置：成果数据库 > 会议 > 会议详情页
Computation of Satisfiability Degree Based on CNF
  • 所属机构名称：清华大学
  • 会议名称：Proceedings of the 6th International Conference on Fuzzy Systems and Knowledge Discovery
  • 成果类型：会议
  • 相关项目：随机信号处理与信号自适应跟踪的研究
作者： Pei Hu, 罗贵明, Chongyuan|
同会议论文项目
随机信号处理与信号自适应跟踪的研究
期刊论文 29 会议论文 9
同项目会议论文
Recursive identification algorithms based on minimizing estimation error
An optimal adaptive control approach for power systems
Recursive algorithms for a novel identification criterion
Identification of multi-dimensional system based on a novel criterion
Identification for a kind of disturbed multi-dimensional Wiener system
A n Algorithm for Calculating the Satisfiability Degree
One-step-ahead Optimal Adaptive Control based on ELS Algorithm
Backtracking Search Algorithm for Satisfiability Degree Calculation