Title of article :
AutoGraphiX: An Automated System for Finding Conjectures in Graph Theory
Author/Authors :
Hansen، نويسنده , , Pierre and Caporossi، نويسنده , , Gilles، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2000
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.
Keywords :
graph , conjecture , refutation , Computer-assisted system , automated system
Journal title :
Electronic Notes in Discrete Mathematics
Journal title :
Electronic Notes in Discrete Mathematics
