Title of article
AutoGraphiX: An Automated System for Finding Conjectures in Graph Theory
Author/Authors
Hansen، نويسنده , , Pierre and Caporossi، نويسنده , , Gilles، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
4
From page
158
To page
161
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
Serial Year
2000
Journal title
Electronic Notes in Discrete Mathematics
Record number
1452853
Link To Document