PreprintAutomatic proof of graph nonisomorphismArjeh M. Cohen, Jan Willem Knopper, Scott H. MurrayAbstractWe describe automated methods for constructing nonisomorphism proofs for pairs of graphs. The proofs can be humanreadable or machinereadable. We have developed a proof generator for graph nonisomorphism, which allows users to input graphs and construct a proof of (non)isomorphism. This paper is available as a pdf (200kB) file.
