Abstract
The AutoGraphiX system uses the Variable Neighborhood Search metaheuristic and data analysis methods to find extremal graphs, fixed graphs satisfying given constraints, refute conjectures, suggest conjectures and suggest proofs. Up to now it has refuted 9 conjectures of Graffiti and suggested over 50 novel conjectures, 15 of which have been proved and none disproved.
Full Text
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call