Login / Signup
Automated generation of conjectures on forbidden subgraph characterization.
Christian Desrosiers
Philippe Galinier
Pierre Hansen
Alain Hertz
Published in:
Discret. Appl. Math. (2014)
Keyphrases
</>
semi automated
fully automated
generation method
neural network
e learning
case study
lower bound
data driven
computer aided
theorem prover
generation process