Positive and Negative Proofs for Circuits and Branching Programs.

Olga Dorzweiler Thomas Flamm Andreas Krebs Michael Ludwig

Published in: DCFS (2014)

Keyphrases

positive and negative
positive or negative
training instances
theorem prover
decision rules
target concept
neural network
real world
machine learning
information retrieval
image processing
support vector
logic programs