1: \begin{abstract}

2:   We introduce a new framework for solving an important class of computational

3:   problems involving finite permutation groups, which includes calculating set

4:   stabilisers, intersections of subgroups, and isomorphisms of combinatorial

5:   structures.

6:   Our techniques are inspired by and generalise `partition backtrack', which is the

7:   current state-of-the-art algorithm introduced by Jeffrey Leon in 1991.

8:   But, instead of ordered partitions, we use labelled

9:   directed graphs to organise our backtrack search algorithms,

10:   which allows for a richer representation of many problems

11:   while often resulting in smaller search spaces.

12:   In this article we present the theory underpinning our framework, we describe

13:   our algorithms, and we show the results of some experiments.

14:   An implementation of our algorithms is available as free software in the

15:   \textsc{GraphBacktracking} package for \textsc{GAP}.

16: \end{abstract}

17: