GrInvIn in a nutshell
From MaRDI portal
Publication:1029769
DOI10.1007/s10910-008-9420-5zbMath1194.92095MaRDI QIDQ1029769
Gunnar Brinkmann, Kris Coolsaet, Veerle Fack, Adriaan Peeters, Nicolas Van Cleemput
Publication date: 13 July 2009
Published in: Journal of Mathematical Chemistry (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10910-008-9420-5
05C90: Applications of graph theory
92E99: Chemistry
05-04: Software, source code, etc. for problems pertaining to combinatorics
Related Items
GrInvIn, Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited, A survey of automated conjectures in spectral graph theory
Cites Work