Automated generation of conjectures on forbidden subgraph characterization
Automated generation of conjectures on forbidden subgraph characterization
Desrosiers, Christian, Galinier, Philippe, Hansen, Pierre and Hertz, Alain.
Discrete Applied Mathematics 2014