A New Proof of Several Inequalities on Codes and Sets.

Published in: J. Comb. Theory, Ser. A (1995)

Keyphrases

sufficient conditions
theorem prover
neural network
real world
machine learning
search algorithm
linear programming
theorem proving
valid inequalities
linear inequalities