View of Generating Hard Tautologies Using Predicate Logic and the Symmetric Group

Return to Article Details Generating Hard Tautologies Using Predicate Logic and the Symmetric Group Download Download PDF