Login / Signup
A Case Study of the Completion Procedure: Proving Ring Commutativity Problems.
Deepak Kapur
Hantao Zhang
Published in:
Computational Logic - Essays in Honor of Alan Robinson (1991)
Keyphrases
</>
optimization problems
np complete
real world
data mining
feature selection
objective function
expert systems
probabilistic model
markov random field
solving problems
practical problems