A satisfiability algorithm for AC

Russell Impagliazzo, William Matthews, Ramamohan Paturi

Browse the full SODA paper archive.