Minimizing the Number of Clauses by Renaming.

Thierry Boy de la Tour

Browse the full CADE paper archive.