  We relate the Andrews-Curtis conjecture to the triviality problem for
balanced presentations of groups using algorithms from 3-manifold topology.
Implementing this algorithm could lead to counterexamples to the Andrews-Curtis
conjecture.
