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

Michael Frank 0002, Michael Codish. Logic Programming with Graph Automorphism: Integrating nauty with Prolog (Tool Description). TPLP, 16(5-6):688-702, 2016. [doi]

Abstract

Abstract is missing.