Logical Matrix Generation and Testing.

Peter K. Malkin, Errol P. Martin

Browse the full CADE paper archive.