Cutting Planes Width and the Complexity of Graph Isomorphism Refutations.

Jacobo Torn, Florian Wrz

Browse the full SAT paper archive.