No. 19 (1998): RS-19 Generating Hard Tautologies Using Predicate Logic and the Symmetric Group

Published: 1998-01-19