Positive and negative proofs for circuits and branching programs.

Olga Dorzweiler Thomas Flamm Andreas Krebs Michael Ludwig

Published in: Theor. Comput. Sci. (2016)

Keyphrases

positive and negative
decision rules
training instances
positive or negative
theorem prover
artificial intelligence
neural network
decision trees
positive examples