Fast searching for Andrews-Curtis trivializations. Bowman, R.Sean; McCaul, Stephen B. — 2006 Experimental Mathematics