AutoGraphiX: a survey

DOI10.1016/j.endm.2005.06.090zbMath1200.05002MaRDI QIDQ3439391

Pierre Hansen, Gilles Caporossi, Mustapha Aouchiche, M. Laffay

Publication date: 29 May 2007

Published in: Electronic Notes in Discrete Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.endm.2005.06.090

zbMATH Keywords

graph theory; computer-assisted; AGX; automated

Mathematics Subject Classification ID

05-02: Research exposition (monographs, survey articles) pertaining to combinatorics

68R10: Graph theory (including graph drawing) in computer science

05C85: Graph algorithms (graph-theoretic aspects)

Related Items

AutoGraphiX, On the further relation between the (revised) Szeged index and the Wiener index of graphs, Using size for bounding expressions of graph invariants, Proofs of three conjectures on the quotients of the (revised) Szeged index and the Wiener index and beyond, Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited, Variable neighborhood search for extremal graphs. 21. Conjectures and results about the independence number, A survey of automated conjectures in spectral graph theory, Variable neighborhood search for extremal graphs. 22. Extending bounds for independence to upper irredundance, A sharp upper bound on algebraic connectivity using domination number, Variable neighbourhood search: methods and applications, Nordhaus-Gaddum relations for proximity and remoteness in graphs, Variable neighbourhood search: Methods and applications, Variable neighborhood search for extremal graphs. 23. On the Randić index and the chromatic number, Upper bounds on the average eccentricity, The (revised) Szeged index and the Wiener index of a nonbipartite graph

Uses Software

• GRAFFITI

Cites Work

• On conjectures of Graffiti
• Variable neighborhood search
• Variable neighborhood search for extremal graphs. V: Three ways to automate finding conjectures
• Variable neighborhood search for extremal graphs. I: The AutoGraphiX system
• Variable neighborhood search for extremal graphs 3
• Recherche à voisinage variable de graphes extrémaux 13. à propos de la maille
• Variable neighborhood search: Principles and applications
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item