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

Publiceret: 1998-01-19

Artikler