On the Resolution Complexity of Graph Non-isomorphism.

Jacobo Torn

Browse the full SAT paper archive.