Groupe d’études et de recherche en analyse des décisions

AutoGraphiX-III: A new system for computer aided graph theory

Gilles Caporossi Professeur titulaire, Département de sciences de la décision, HEC Montréal, Canada

Ten years after AGX was made available to public, a new version is proposed. The difference between AGX-2 and AGX-III is not just a number and few cosmetic changes. The whole system was completely rewritten from scratch taking advantage of the experience from the previous versions. The main principle underlying AGX, the optimization, is still at the center of the system, but it is based upon a new way to consider computer aided graph theory from various point of views. The interface was completely changed, but also the optimizer and the conjecture-making routines. In this talk, we will provide an overview of the new system and explain how to get the most of it for research.