Sitharam, Meera
-
BRICS Report Series Nr. 19 (1998): RS-19 Generating Hard Tautologies Using Predicate Logic and the Symmetric Group - Artikler
Generating Hard Tautologies Using Predicate Logic and the Symmetric Group
Resumé PDF (English) -
BRICS Report Series Nr. 20 (1998): RS-20 Uniformly Generated Submodules of Permutation Modules - Artikler
Uniformly Generated Submodules of Permutation Modules
Resumé PDF (English)