On Resolution Like Proofs of Monotone Self-Dual Functions.

Published in: ISAIM (2014)

Keyphrases

upper bound
low resolution
theorem proving
probability distribution
theorem prover
machine learning
genetic algorithm
knowledge base
high quality
data structure
high resolution
elementary functions