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