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 generalise `partition backtrack', which is the

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

8:   which has inspired our work.

9:   Our backtrack search algorithms are organised around vertex- and arc-labelled

10:   directed graphs, which allow us to represent many problems more richly than

11:   do ordered partitions.

12:   We present the theory underpinning our framework,

13:   and we include the results of experiments showing that our techniques often

14:   result in smaller search spaces than does partition backtrack.

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

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

17: \end{abstract}

18: