Comparaison automatisée d'invariants en théorie des graphes

Abstract

Intelligence artificielle et découverte automatisée -- De autographix à autographix 2 -- Comparaison systématique de quelques invariants