A short proof of a conjecture on quasi-symmetric 3-designs.

Rajendra M. Pawale Sharad S. Sane

Published in: Discret. Math. (1991)

Keyphrases

theorem proving
machine learning
website
case study
design space
linear logic
automated theorem proving