Almost Transparent Short Proofs for NPℝ.

Published in: FCT (2011)

Keyphrases

computational complexity
np complete
theorem prover
database
cooperative
search space
np hard
formal proofs
real time
neural network
data structure
evolutionary algorithm
hidden markov models
decision procedures