Finding conjectures in graph theory with AutoGraphiX - Aouchiche, Mustapha; Caporossi, Gilles; Hansen, Pierre; Mladenović, Nenad; Lucas, Claire (Groupe d’études et de recherche en analyse des décisions, 2016)