NP-completeness Proof: RBCDN Reduction Problem

Sujogya Banerjee Shahrzad Shirazipourazad Pavel Ghosh Arunabha Sen

Published in: CoRR (2010)

Keyphrases

theorem prover
reduction method
neural network
decision trees
similarity measure
information technology
hidden markov models
theorem proving
geometry theorem proving