Resolution and Clause Learning for Multi-Valued CNF Formulas.

David Mitchell

Browse the full CADE paper archive.