Logic Programming with Graph Automorphism: Integrating nauty with Prolog (Tool Description)

Michael Frank, Michael Codish

Research output: Contribution to journalArticlepeer-review

4 Scopus citations

Fingerprint

Dive into the research topics of 'Logic Programming with Graph Automorphism: Integrating nauty with Prolog (Tool Description)'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science