Sign in
A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search.
Feng Cao
Yang Xu
Shuwei Chen
Jian Zhong
Guanfeng Wu
Published in:
Int. J. Comput. Intell. Syst. (2019)
Keyphrases
</>
cost function
np hard
particle swarm optimization
computational complexity
objective function
state space
inference rules